conf/pods/89 Allen Van Gelder The Alternating Fixpoint of Logic Programs with Negation. 1-10 1989 PODS db/conf/pods/pods89.html#Gelder89 http://doi.acm.org/10.1145/73721.73722 db/conf/pods/Gelder89.html journals/anthology/cd1-3:PODS89/P001.PDF journals/anthology/dvd1:text/1-3/PODS89/P001.PDF ... ... conf/pods/AbiteboulV88 journals/jlp/ChandraH85 ... ... conf/iclp/FittingB88 journals/jlp/Fitting85a conf/aaai/Gelfond87 conf/iclp/GelfondL88 ... journals/iandc/Immerman86 journals/iandc/Kolaitis91 journals/jlp/Kunen87 conf/iclp/Kunen88 ... books/sp/Lloyd87 journals/jlp/LloydT84 ... conf/iclp/PrzymusinskaP88 ... conf/pods/Przymusinski89 ... conf/pods/Ross89 ... journals/jlp/Shepherdson85 ... conf/slp/Gelder86 ... journals/jacm/GelderRS91