A Database-Complete Proof Procedure Based on SLD-Resolution.

Laurent Vieille

Browse the full ICLP paper archive.