Formalization and Algebraic Verification of Legal Requirements. - Alexander Godlevskyi; Aleksander Letichevskyi; Vladimir S. Peschanenko; Oleksandr A. Letychevskyi; Maryna Morokhovets; Volodymyr G. Skobelev; Maksym Poltorackiy (ICTERI, 2017)