@misc{indiciaee2ea4c8c6093, title = {Scoping Constructs in Logic Programming: Implementation Problems and their Solution}, author = {Gopalan Nadathur and Bharat Jayaraman and Keehang Kwon}, year = {1998}, url = {https://arxiv.org/abs/cs/9809016}, note = {Source identifier: cs/9809016} }