%0 Journal Article
%A D. A. Mordvinov
%T Property-directed inference of relational invariants
%J Modelirovanie i analiz informacionnyh sistem
%D 2019
%P 550-571
%V 26
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2019_26_4_a6/
%G ru
%F MAIS_2019_26_4_a6