Computing Intersection of Autoepistemic Expansions.

V. Wiktor Marek, Miroslaw Truszczynski

Browse the full LPNMR paper archive.