A new method for integrity constraint checking in deductive databases / by R. Seljée
A new method for integrity constraint checking in deductive databases