Subset Logic Programs and Their Implementation.

Bharat Jayaraman Kyonghee Moon Subset Logic Programs and Their Implementation. 71-110 2000 42 J. Log. Program. 2 db/journals/jlp/jlp42.html#JayaramanM00