%0 Book Section %1 books/eh/campbell84/BelliaDDLM84 %A Bellia, Marco %A Dameri, Enrico %A Degano, Pierpaolo %A Levi, Giorgio %A Martelli, Maurizio %B Implementations of Prolog %D 1984 %E Campbell, John A. %I Ellis Horwood/Halsted Press/Wiley %K dblp %P 309-326 %T A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language. %U http://dblp.uni-trier.de/db/books/collections/Campbell84.html#BelliaDDLM84 %@ 0-85312-675-5

@incollection{books/eh/campbell84/BelliaDDLM84, added-at = {2019-08-05T00:00:00.000+0200}, author = {Bellia, Marco and Dameri, Enrico and Degano, Pierpaolo and Levi, Giorgio and Martelli, Maurizio}, biburl = {https://www.bibsonomy.org/bibtex/2b36fa1f86bb925ec62da797edf5357fc/dblp}, booktitle = {Implementations of Prolog}, crossref = {books/eh/campbell84/C1984}, editor = {Campbell, John A.}, interhash = {16809e497858d3ccd5fe0b66a7a78e8b}, intrahash = {b36fa1f86bb925ec62da797edf5357fc}, isbn = {0-85312-675-5}, keywords = {dblp}, pages = {309-326}, publisher = {Ellis Horwood/Halsted Press/Wiley}, timestamp = {2019-08-06T11:39:23.000+0200}, title = {A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language.}, url = {http://dblp.uni-trier.de/db/books/collections/Campbell84.html#BelliaDDLM84}, year = 1984 }