@book(DBLP:books/mit/AitKaci91,
 author       = {A{\"{\i}}t{-}Kaci, H.},
 year         = {1991},
 title        = {Warren's Abstract Machine: {A} Tutorial Reconstruction},
 publisher    = {{MIT} Press},
 doi          = {10.7551/mitpress/7160.001.0001},
)
@inproceedings(AptL95.delays,
 author       = {K. R. Apt and I. Luitjes},
 year         = {1995},
 title        = {Verification of Logic Programs with Delay Declarations},
 editor       = {V. S. Alagar and M. Nivat},
 booktitle    = {Algebraic Methodology and Software Technology, {AMAST} '95, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {936},
 publisher    = {Springer},
 pages        = {66--90},
 doi          = {10.1007/3-540-60043-4_47},
)
@article(AptP94-occur-check,
 author       = {K. R. Apt and A. Pellegrini},
 year         = {1994},
 title        = {On the Occur-Check-Free {Prolog} Programs},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {16},
 number       = {3},
 pages        = {687--726},
 doi          = {10.1145/177492.177673},
)
@book(apt-prolog,
 author       = {K. R. Apt},
 year         = {1997},
 title        = {From Logic Programming to {P}rolog},
 series       = {International Series in Computer Science},
 publisher    = {Prentice-Hall},
)
@book(Bratko.4ed,
 author       = {I. Bratko},
 year         = {2012},
 title        = {{PROLOG} Programming for Artificial Intelligence},
 edition      = {4th},
 publisher    = {Addison-Wesley},
)
@incollection(Colmerauer1982,
 author       = {A. Colmerauer},
 year         = {1982},
 title        = {Prolog and Infinite Trees},
 editor       = {K. L. Clark and S.-\r A. T{\"a}rnlund},
 booktitle    = {Logic programming},
 publisher    = {Academic Press},
 pages        = {231--251},
)
@article(DBLP:journals/tcs/Courcelle83,
 author       = {B. Courcelle},
 year         = {1983},
 title        = {Fundamental Properties of Infinite Trees},
 journal      = {Theor. Comput. Sci.},
 volume       = {25},
 pages        = {95--169},
 doi          = {10.1016/0304-3975(83)90059-2},
)
@article(ChadhaP94,
 author       = {R. Chadha and D. A. Plaisted},
 year         = {1994},
 title        = {Correctness of Unification Without Occur Check in Prolog},
 journal      = {J. Log. Program.},
 volume       = {18},
 number       = {2},
 pages        = {99--122},
 doi          = {10.1016/0743-1066(94)90048-5},
)
@inproceedings(DBLP:conf/slp/DeransartFT91,
 author       = {P. Deransart and G. Ferrand and M. T{\'{e}}guia},
 year         = {1991},
 title        = {{NSTO} Programs (Not Subject to Occur-Check)},
 editor       = {V. A. Saraswat and K. Ueda},
 booktitle    = {Logic Programming, Proceedings of the 1991 International Symposium},
 publisher    = {{MIT} Press},
 pages        = {533--547},
)
@inproceedings(Dra87,
 author       = {W. Drabent},
 year         = {1987},
 title        = {Do Logic Programs Resemble Programs in Conventional Languages?},
 booktitle    = {Proceedings of 1987 Symposium on Logic Programming},
 publisher    = {IEEE Computer Society Press},
 pages        = {389--396},
 note         = {ISBN 0-8186-0799-8},
)
@article(Drabent.tplp18,
 author       = {W. Drabent},
 year         = {2018},
 title        = {Logic + control: On program construction and verification},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {18},
 number       = {1},
 pages        = {1--29},
 doi          = {10.1017/S1471068417000047},
)
@article(drabent.nqueens.tplp.pre,
 author       = {W. Drabent},
 year         = {2021},
 title        = {On correctness and completeness of an n queens program},
 journal      = {Theory and Practice of Logic Programming},
 note         = {To appear. Former version available at \url{http://arxiv.org/abs/1909.07479}},
)
@article(drabent.occur-check.report,
 author       = {W. Drabent},
 year         = {2021},
 title        = {{SLD}-resolution without occur-check, an example},
 journal      = {CoRR},
 volume       = {abs/2103.01911},
 url          = {https://arxiv.org/abs/2103.01911},
)
@misc(Fruehwirth91,
 author       = {Thom Fr{\"u}hwirth},
 year         = {1991},
 title        = {{\tt nqueens}},
 howpublished = {A post in {\tt comp.lang.prolog}},
 url          = {https://groups.google.com/d/msg/comp.lang.prolog/qiyibDALhTE/uk6f6AQzOCAJ},
 note         = {1991-03-08. Also in \cite[Section 4.1, Exercise (v)]{Sterling-Shapiro-shorter}.},
)
@article(howe.king.tcs-shorter,
 author       = {J. M. Howe and A. King},
 year         = {2012},
 title        = {A Pearl on {SAT} and {SMT} Solving in {Prolog}},
 journal      = {Theor. Comput. Sci.},
 volume       = {435},
 pages        = {43--55},
 url          = {http://dx.doi.org/10.1016/j.tcs.2012.02.024},
)
@book(Sterling-Shapiro-shorter,
 author       = {L. Sterling and E. Shapiro},
 year         = {1994},
 title        = {The Art of Prolog},
 edition      = {2},
 publisher    = {The MIT Press},
)