A Unified Treatment of Resolution Strategies for Logic Programs.

David A. Wolfram, Michael J. Maher, Jean-Louis Lassez

Browse the full ICLP paper archive.