Implementation Techniques for Scoping Constructs in Logic Programming.

Bharat Jayaraman, Gopalan Nadathur

Browse the full ICLP paper archive.