V. Wiktor Marek Miroslaw Truszczynski Computing Intersection of Autoepistemic Expansions. 37-50 1991 LPNMR db/conf/lpnmr/lpnmr91.html#MarekT91