Undecidability of Implication Problems in Logic Programming, Database Theory and Classical Logic.

Leszek Pacholski Undecidability of Implication Problems in Logic Programming, Database Theory and Classical Logic. 63-68 1993 conf/kgc/1993 Kurt Gödel Colloquium db/conf/kgc/kgc93.html#Pacholski93