%0 Journal Article
%B Logical Methods in Computer Science
%D 2015
%G eng
%T Abstract Model Repair
%V 3:11