François Bry Rainer Manthey Bern Martens Integrity Verification in Knowledge Bases. 114-139 1991 conf/lpar/1991 RCLP db/conf/lpar/lpar90.html#BryMM91 http://dx.doi.org/10.1007/3-540-55460-2_9