@book(Aho:Dragon2,
 author       = {Alfred V. Aho and Monica S. Lam and Ravi Sethi and Jeffrey D. Ullman},
 year         = {2007},
 title        = {Compilers. Principles, Techniques, and Tools (Second Edition)},
 publisher    = {Addison Wesley},
)
@inproceedings(DBLP:conf/esop/AlbertAGPZ07,
 author       = {Elvira Albert and Puri Arenas and Samir Genaim and Germ{\'a}n Puebla and Damiano Zanardini},
 year         = {2007},
 title        = {Cost Analysis of Java Bytecode},
 editor       = {Rocco De Nicola},
 booktitle    = {ESOP},
 series       = {LNCS 4421},
 publisher    = {Springer-Verlag},
 pages        = {157--172},
 url          = {http://dx.doi.org/10.1007/978-3-540-71316-6_12},
)
@inproceedings(AlbertGG07,
 author       = {Elvira Albert and Samir Genaim and G{\'o}mez-Zamalloa, Miguel},
 year         = {2007},
 title        = {Heap space analysis for java bytecode},
 editor       = {Greg Morrisett and Mooly Sagiv},
 booktitle    = {ISMM},
 publisher    = {ACM},
 pages        = {105--116},
 url          = {http://doi.acm.org/10.1145/1296907.1296922},
)
@inproceedings(DBLP:conf/padl/AlbertGHP07,
 author       = {Elvira Albert and G{\'o}mez-Zamalloa, Miguel and Laurent Hubert and Germ{\'a}n Puebla},
 year         = {2007},
 title        = {Verification of Java Bytecode Using Analysis and Transformation of Logic Programs},
 editor       = {Michael Hanus},
 booktitle    = {Proceedings PADL 2007},
 series       = {LNCS 4354},
 publisher    = {Springer-Verlag},
 pages        = {124--139},
 url          = {http://dx.doi.org/10.1007/978-3-540-69611-7_8},
)
@book(AptTurini:MetaBook,
 author       = {K. R. Apt and F. Turini},
 year         = {1995},
 title        = {Meta-logics and Logic Programming},
 publisher    = {MIT Press},
)
@inproceedings(DBLP:conf/hopl/Armstrong07,
 author       = {Joe Armstrong},
 year         = {2007},
 title        = {A history of {E}rlang},
 editor       = {Barbara G. Ryder and Brent Hailpern},
 booktitle    = {HOPL},
 publisher    = {ACM},
 pages        = {1--26},
 url          = {http://doi.acm.org/10.1145/1238844.1238850},
)
@techreport(Bowen:TR99,
 author       = {Jonathan Bowen},
 year         = {1999},
 title        = {Animating the Semantics of {VERILOG} using {P}rolog},
 type         = {Technical Report},
 number       = {UNU/IIST Technical Report no. 176},
 institution  = {United Nations University, Macau},
)
@article(Bryant:ACMSurv92,
 author       = {Randy Bryant},
 year         = {1992},
 title        = {Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams},
 journal      = {ACM Computing Surveys},
 volume       = {24},
 number       = {3},
 pages        = {293--318},
 doi          = {10.1145/42282.46161},
)
@inproceedings(CarlssonOttosson:PLILP97,
 author       = {Mats Carlsson and Greger Ottosson and Bj{\"{o}}rn Carlson},
 year         = {1997},
 title        = {{An Open-Ended Finite Domain Constraint Solver}},
 editor       = {Hugh Glaser Glaser and Pieter H. Hartel and Herbert Kuchen},
 booktitle    = {Proceedings PLILP'97},
 series       = {LNCS 1292},
 publisher    = {Springer-Verlag},
 pages        = {191--206},
 url          = {https://doi.org/10.1007/BFb0033845},
)
@article(ChenWarren:JACM96,
 author       = {W. Chen and D. S. Warren},
 year         = {1996},
 title        = {Tabled Evaluation with Delaying for General Logic Programs},
 journal      = {Journal of the ACM},
 volume       = {43},
 number       = {1},
 pages        = {20--74},
 doi          = {10.1016/0304-3975(89)90088-1},
)
@article(Cousot92:jlp,
 author       = {Patrick Cousot and Radhia Cousot},
 year         = {1992},
 title        = {Abstract Interpretation and Application to Logic Programs},
 journal      = {The Journal of Logic Programming},
 volume       = {13},
 number       = {2 \& 3},
 pages        = {103--179},
 doi          = {10.1016/0743-1066(92)90030-7},
)
@inproceedings(FarwerLeuschel:PPDP04,
 author       = {Berndt Farwer and Michael Leuschel},
 year         = {2004},
 title        = {Model checking object {P}etri nets in {P}rolog},
 booktitle    = {Proceedings PPDP '04},
 publisher    = {ACM Press},
 address      = {New York, NY, USA},
 pages        = {20--31},
 doi          = {10.1145/1013963.1013970},
)
@book(Fruewirth:CHRbook,
 author       = {Thom Fr\"uhwirth},
 year         = {2009},
 title        = {Constraint Handling Rules},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511609886},
)
@article(DBLP:journals/entcs/Gomez-ZamalloaAP07,
 author       = {G{\'o}mez-Zamalloa, Miguel and Elvira Albert and Germ{\'a}n Puebla},
 year         = {2007},
 title        = {Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {190},
 number       = {1},
 pages        = {85--101},
 url          = {http://dx.doi.org/10.1016/j.entcs.2007.02.062},
)
@inproceedings(DBLP:conf/pldi/GrebenshchikovLPR12,
 author       = {Sergey Grebenshchikov and Nuno P. Lopes and Corneliu Popeea and Andrey Rybalchenko},
 year         = {2012},
 title        = {Synthesizing software verifiers from proof rules},
 editor       = {Jan Vitek and Haibo Lin and Frank Tip},
 booktitle    = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} '12, Beijing, China - June 11 - 16, 2012},
 publisher    = {{ACM}},
 pages        = {405--416},
 doi          = {10.1145/2254064.2254112},
 url          = {http://dl.acm.org/citation.cfm?id=2254064},
)
@incollection(HillGallagher:metachapter,
 author       = {Patricia Hill and John Gallagher},
 year         = {1998},
 title        = {Meta-programming in logic programming},
 editor       = {D. M. Gabbay and C. J. Hogger and J. A. Robinson},
 booktitle    = {Handbook of Logic in Artificial Intelligence and Logic Programming},
 volume       = {5},
 publisher    = {Oxford Science Publications, Oxford University Press},
 pages        = {421--497},
)
@book(HillLloyd:Goedel,
 author       = {Patricia Hill and John W. Lloyd},
 year         = {1994},
 title        = {The G\"odel Programming Language},
 publisher    = {MIT Press},
)
@book(0mq,
 author       = {Pieter Hintjens},
 year         = {2013},
 title        = {{ZeroMQ: Messaging for Many Applications}},
 publisher    = {O'Reilly Media, Inc.},
)
@article(DBLP:journals/tplp/KafleGG18,
 author       = {Bishoksan Kafle and John P. Gallagher and Pierre Ganty},
 year         = {2018},
 title        = {Tree dimension in verification of constrained Horn clauses},
 journal      = {Theory Pract. Log. Program.},
 volume       = {18},
 number       = {2},
 pages        = {224--251},
 doi          = {10.1017/S1471068418000030},
)
@inproceedings(DBLP:conf/nfm/KornerB18,
 author       = {Philipp K{\"{o}}rner and Jens Bendisposto},
 year         = {2018},
 title        = {Distributed Model Checking Using ProB},
 editor       = {Aaron Dutle and Mu{\~{n}}oz, C{\'{e}}sar A. and Anthony Narkawicz},
 booktitle    = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {10811},
 publisher    = {Springer},
 pages        = {244--260},
 doi          = {10.1007/978-3-319-77935-5\_18},
)
@inproceedings(Le08PPDP,
 author       = {Michael Leuschel},
 year         = {2008},
 title        = {{Declarative Programming for Verification: Lessons and Outlook}},
 booktitle    = {Proceedings PPDP'2008},
 publisher    = {ACM Press},
 pages        = {1--7},
 doi          = {10.1145/1389449.1389450},
)
@inproceedings(DBLP:conf/sbmf/LeuschelB10,
 author       = {Michael Leuschel and Jens Bendisposto},
 year         = {2010},
 title        = {Directed Model Checking for {B:} An Evaluation and New Techniques},
 editor       = {Jim Davies and Leila Silva and Adenilso da Silva Sim{\~{a}}o},
 booktitle    = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {6527},
 publisher    = {Springer},
 pages        = {1--16},
 doi          = {10.1007/978-3-642-19829-8\_1},
)
@inproceedings(LeuschelButler:FME03,
 author       = {Michael Leuschel and Michael Butler},
 year         = {2003},
 title        = {Pro{B}: A Model Checker for {B}},
 editor       = {Keijiro Araki and Stefania Gnesi and Dino Mandrioli},
 booktitle    = {FME 2003: Formal Methods},
 series       = {LNCS 2805},
 publisher    = {Springer-Verlag},
 pages        = {855--874},
 doi          = {10.1007/978-3-540-45236-2\_46},
)
@article(DBLP:journals/sttt/LeuschelB08,
 author       = {Michael Leuschel and Michael J. Butler},
 year         = {2008},
 title        = {{ProB}: an automated analysis toolset for the {B} method},
 journal      = {STTT},
 volume       = {10},
 number       = {2},
 pages        = {185--203},
 url          = {http://dx.doi.org/10.1007/s10009-007-0063-9},
)
@inproceedings(LeuschelFontaine:ICFEM08,
 author       = {Michael Leuschel and Marc Fontaine},
 year         = {2008},
 title        = {Probing the Depths of {CSP-M}: A new {FDR}-compliant Validation Tool},
 booktitle    = {Proceedings ICFEM 2008},
 series       = {LNCS},
 publisher    = {Springer-Verlag},
 pages        = {278--297},
 doi          = {10.1007/978-3-540-88194-0\_18},
)
@inproceedings(LeuschelLehmann:CL2000,
 author       = {Michael Leuschel and Helko Lehmann},
 year         = {2000},
 title        = {Coverability of Reset {P}etri Nets and other Well-Structured Transition Systems by Partial Deduction},
 editor       = {John Lloyd},
 booktitle    = {Proceedings of the International Conference on Computational Logic (CL'2000)},
 series       = {LNAI 1861},
 publisher    = {Springer-Verlag},
 address      = {London, UK},
 pages        = {101--115},
 doi          = {10.1007/3-540-44957-4\_7},
)
@inproceedings(LeuschelMassart:LOPSTR99,
 author       = {Michael Leuschel and Thierry Massart},
 year         = {2000},
 title        = {Infinite State Model Checking by Abstract Interpretation and Program Specialisation},
 editor       = {Annalisa Bossi},
 booktitle    = {Proceedings LOPSTR'99},
 series       = {LNCS 1817},
 address      = {Venice, Italy},
 pages        = {63--82},
 doi          = {10.1007/10720327\_5},
)
@inproceedings(LeuschelMassartCurrie:FME2001,
 author       = {Michael Leuschel and Thierry Massart and Andrew Currie},
 year         = {2001},
 title        = {How to Make {FDR} Spin: {LTL} Model Checking of {CSP} by Refinement},
 editor       = {J. N. Oliviera and P. Zave},
 booktitle    = {FME'2001},
 series       = {LNCS 2021},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Germany},
 pages        = {99--118},
 doi          = {10.1007/3-540-45251-6\_6},
)
@incollection(DBLP:books/sp/99/MarekT99,
 author       = {Victor W. Marek and Miroslaw Truszczynski},
 year         = {1999},
 title        = {Stable Models and an Alternative Logic Programming Paradigm},
 editor       = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren},
 booktitle    = {The Logic Programming Paradigm - {A} 25-Year Perspective},
 series       = {Artificial Intelligence},
 publisher    = {Springer},
 pages        = {375--398},
 doi          = {10.1007/978-3-642-60085-2\_17},
)
@article(Milner:Type78,
 author       = {Robin Milner},
 year         = {1978},
 title        = {A Theory of Type Polymorphism in Programming},
 journal      = {Journal of Computer and System Sciences},
 volume       = {17},
 pages        = {348--375},
 doi          = {10.1016/0022-0000(78)90014-4},
)
@techreport(naish:82,
 author       = {Lee Naish},
 year         = {March 1982 (Revised July 1983)},
 title        = {An introduction to {MU-Prolog}},
 type         = {Technical Report},
 number       = {82/2},
 institution  = {Department of Computer Science, University of Melbourne},
 address      = {Melbourne, Australia},
)
@article(PereiraWarren:AI80,
 author       = {Fernando C. N. Pereira and David H. D. Warren},
 year         = {1980},
 title        = {Definite Clause Grammars for Language Analysis - {A} Survey of the Formalism and a Comparison with Augmented Transition Networks},
 journal      = {Artif. Intell.},
 volume       = {13},
 number       = {3},
 pages        = {231--278},
 doi          = {10.1016/0004-3702(80)90003-X},
)
@inproceedings(RamakrishnaEtAl:CAV97,
 author       = {Y. S. Ramakrishna and C. R. Ramakrishnan and I. V. Ramakrishnan and Scott A. Smolka and Terrance Swift and David S. Warren},
 year         = {1997},
 title        = {Efficient Model Checking Using Tabled Resolution},
 editor       = {O. Grumberg},
 booktitle    = {Proceedings CAV'97},
 series       = {LNCS 1254},
 publisher    = {Springer-Verlag},
 pages        = {143--154},
 doi          = {10.1007/3-540-63166-6\_16},
)
@inproceedings(XMC:CAV2000,
 author       = {C. R. Ramakrishnan and I. V. Ramakrishnan and Scott A. Smolka and Yifei Dong and Xiaoqun Du and Abhik Roychoudhury and V. N. Venkatakrishnan},
 year         = {2000},
 title        = {XMC: A Logic-Programming-Based Verification Toolset},
 booktitle    = {Proceedings of CAV 2000},
 pages        = {576--580},
 doi          = {10.1007/10722167\_48},
)
@manual(sicstusmanual,
 author       = {Sweden SICS, Kista},
 title        = {{SICStus} {P}rolog User's Manual},
 note         = {Available at {\tt http://www.sics.se/sicstus}},
)