%0 Conference Paper %1 conf/slp/MarriottSD90 %A Marriott, Kim %A Søndergaard, Harald %A Dart, Philip W. %B NACLP %D 1990 %E Debray, Saumya K. %E Hermenegildo, Manuel V. %I MIT Press %K dblp %P 661-680 %T A Characterization of Non-Floundering Logic Programs. %U http://dblp.uni-trier.de/db/conf/slp/slp90.html#MarriottSD90 %@ 0-262-54058-4

@inproceedings{conf/slp/MarriottSD90, added-at = {2013-12-04T00:00:00.000+0100}, author = {Marriott, Kim and Søndergaard, Harald and Dart, Philip W.}, biburl = {https://www.bibsonomy.org/bibtex/2b53d9313ce174dc0d438a0c7c259cdef/dblp}, booktitle = {NACLP}, crossref = {conf/slp/1990}, editor = {Debray, Saumya K. and Hermenegildo, Manuel V.}, interhash = {46b3b5cb8171c810259baee26e2169f8}, intrahash = {b53d9313ce174dc0d438a0c7c259cdef}, isbn = {0-262-54058-4}, keywords = {dblp}, pages = {661-680}, publisher = {MIT Press}, timestamp = {2013-12-05T11:34:20.000+0100}, title = {A Characterization of Non-Floundering Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp90.html#MarriottSD90}, year = 1990 }