Kung-Kiu Lau Mario Ornaghi Correct Object-Oriented Systems in Computational Logic. 168-190 2001 conf/lopstr/2001 LOPSTR http://link.springer.de/link/service/series/0558/bibs/2372/23720168.htm db/conf/lopstr/lopstr2001.html#LauO01