"Subset Logic Programs and Their Implementation."

Bharat Jayaraman, Kyonghee Moon (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics