%0 Conference Paper %1 conf/iclp/AptB88 %A Apt, Krzysztof R. %A Blair, Howard A. %B ICLP/SLP %D 1988 %E Kowalski, Robert A. %E Bowen, Kenneth A. %I MIT Press %K dblp %P 765-779 %T Arithmetic Classification of Perfect Models of Stratified Programs. %U http://dblp.uni-trier.de/db/conf/iclp/iclp88.html#AptB88 %@ 0-262-61056-6

@inproceedings{conf/iclp/AptB88, added-at = {2013-11-29T00:00:00.000+0100}, author = {Apt, Krzysztof R. and Blair, Howard A.}, biburl = {https://www.bibsonomy.org/bibtex/22d527ebbd58998e4d7a33a8abf0235dd/dblp}, booktitle = {ICLP/SLP}, crossref = {conf/iclp/1988}, editor = {Kowalski, Robert A. and Bowen, Kenneth A.}, interhash = {8817144920f36daedb23600accd56053}, intrahash = {2d527ebbd58998e4d7a33a8abf0235dd}, isbn = {0-262-61056-6}, keywords = {dblp}, pages = {765-779}, publisher = {MIT Press}, timestamp = {2018-06-26T11:38:45.000+0200}, title = {Arithmetic Classification of Perfect Models of Stratified Programs.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp88.html#AptB88}, year = 1988 }