Scoping Constructs in Logic Programming: Implementation Problems and their Solutions.

Gopalan Nadathur Bharat Jayaraman Keehang Kwon Scoping Constructs in Logic Programming: Implementation Problems and their Solutions. 119-161 1995 25 J. Log. Program. 2 db/journals/jlp/jlp25.html#NadathurJK95