Relational verification through Horn clause transformation
scientific article; zbMATH DE number 6925336