conf/pods/89 Teodor C. Przymusinski Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model. 11-21 1989 PODS db/conf/pods/pods89.html#Przymusinski89 http://doi.acm.org/10.1145/73721.73723 db/conf/pods/Przymusinski89.html journals/anthology/cd1-3:PODS89/P011.PDF journals/anthology/dvd1:text/1-3/PODS89/P011.PDF ... conf/pods/Bry89 conf/iclp/Chan88 journals/jlp/ChandraH85 ... journals/jlp/Fitting85a ... conf/iclp/GelfondL88 conf/iclp/KempT88 journals/jlp/Kunen87 books/sp/Lloyd84 conf/iclp/PrzymusinskaP88 ... ... ... journals/jar/Przymusinski89 conf/kr/Przymusinski89 conf/pods/Ross89 conf/iclp/SekiI88 conf/pods/Gelder89 conf/pods/GelderRS88 conf/iclp/Zaniolo88