Beat Wüthrich On consistency checking in deductive databases. 144- 1992 conf/bda/1992 BDA db/conf/bda/bda1992.html#Wuthrich92