Total and Partial Well-Founded Datalog Coincide.

Jörg Flum Max Kubierschky Bertram Ludäscher Total and Partial Well-Founded Datalog Coincide. 113-124 ICDT1997/P113.pdf 1997 ICDT db/conf/icdt/icdt97.html#FlumKL97 conf/icdt/97 http://dx.doi.org/10.1007/3-540-62222-5_40 journals/jlp/AptB94 books/mk/minker88/AptBW88 books/aw/AbiteboulHV95 journals/tods/Chen95a ... ... ... journals/iandc/Immerman86 ... journals/amai/Schlipf95 conf/pods/Gelder89 journals/jcss/Gelder93 conf/pods/GelderRS88