Shinichi Morishita An anternating fixpoint tailored to magic programs. 86-95 1992 conf/deductive/1992 Workshop on Deductive Databases, JICSLP db/conf/deductive/deductive92.html#Morishita92