%0 Conference Paper %1 conf/lpnmr/LifschitzMPS95 %A Lifschitz, Vladimir %A McCain, Norman %A Przymusinski, Teodor C. %A Stärk, Robert F. %B LPNMR %D 1995 %E Marek, V. Wiktor %E Nerode, Anil %I Springer %K dblp %P 127-142 %T Loop Checking and the Wll-Founded Semantics. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr95.html#LifschitzMPS95 %V 928 %@ 3-540-59487-6

@inproceedings{conf/lpnmr/LifschitzMPS95, added-at = {2017-05-20T00:00:00.000+0200}, author = {Lifschitz, Vladimir and McCain, Norman and Przymusinski, Teodor C. and Stärk, Robert F.}, biburl = {https://www.bibsonomy.org/bibtex/2fa432d28790fe42bd7dc66dcc8900528/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/1995}, editor = {Marek, V. Wiktor and Nerode, Anil}, ee = {https://doi.org/10.1007/3-540-59487-6_10}, interhash = {bb59f9021d5a21e8398e03698bc8cc34}, intrahash = {fa432d28790fe42bd7dc66dcc8900528}, isbn = {3-540-59487-6}, keywords = {dblp}, pages = {127-142}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:16.000+0200}, title = {Loop Checking and the Wll-Founded Semantics.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr95.html#LifschitzMPS95}, volume = 928, year = 1995 }