conf/pods/93 Shinichi Morishita An Alternating Fixpoint Tailored to Magic Programs. 123-134 1993 PODS db/conf/pods/pods93.html#Morishita93 http://doi.acm.org/10.1145/153850.153861 db/conf/pods/Morishita93.html journals/anthology/cd1-3:PODS93/P123.PDF journals/anthology/dvd1:text/1-3/PODS93/P123.PDF ... journals/jlp/BalbinPRM91 conf/pods/BeeriR87 conf/iclp/ChenW92 conf/sigmod/DerrMP93 conf/fgcs/KerisitP88 conf/slp/KempSS91 conf/iclp/KempSS92 books/sp/Lloyd87 conf/iclp/RamakrishnanSS92 journals/jlp/Ross92 conf/pods/Ross90 conf/slp/Sagiv90 books/cs/Ullman89 journals/jacm/GelderRS91 conf/pods/Gelder89