Logical Algorithms.

Harald Ganzinger, David A. McAllester

Browse the full ICLP paper archive.