"A Non-monotonic Reasoning System--WMJ."

Xian-Chang Wang, Huo-Wang Chen (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics