DMCA

Disjunctive Logic Programming and Autoepistemic Logic (1998)

by Li-yan Yuan , Jia-huai You , Randy Goebel , Y Goebel