TY - RPRT TI - Scoping Constructs in Logic Programming: Implementation Problems and their Solution AU - Gopalan Nadathur AU - Bharat Jayaraman AU - Keehang Kwon PY - 1998 UR - https://arxiv.org/abs/cs/9809016 ID - cs/9809016 ER -