@inproceedings(BarbosaFloridoCosta17,
 author       = {J. Barbosa and M. Florido and Santos Costa, V.},
 year         = {2017},
 title        = {Closed Types for Logic Programming},
 booktitle    = {25th Int. Workshop on Functional and Logic Programming (WFLP 2017)},
)
@article(DBLP:journals/scp/BarbutiG92,
 author       = {Roberto Barbuti and Roberto Giacobazzi},
 year         = {1992},
 title        = {A Bottom-Up Polymorphic Type Inference in Logic Programming},
 journal      = {Sci. Comput. Program.},
 volume       = {19},
 number       = {3},
 pages        = {281--313},
 doi          = {10.1016/0167-6423(92)90038-D},
)
@article(AJL,
 author       = {Jc Beall},
 year         = {2016},
 title        = {Off-Topic: A New Interpretation of Weak-Kleene Logic},
 journal      = {The Australasian Journal of Logic},
 volume       = {13},
 number       = {6},
 doi          = {10.26686/ajl.v13i6.3976},
)
@article(3value,
 author       = {D.A. Bochvar and Merrie Bergmann},
 year         = {1981},
 title        = {On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus},
 journal      = {History and Philosophy of Logic},
 volume       = {2},
 number       = {1-2},
 pages        = {87--112},
 doi          = {10.1080/01445348108837023},
)
@inproceedings(DBLP:conf/iclp/BruynoogheJ88,
 author       = {Maurice Bruynooghe and Gerda Janssens},
 year         = {1988},
 title        = {An Instance of Abstract Interpretation Integrating Type and Mode Inferencing},
 booktitle    = {Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
 pages        = {669--683},
)
@incollection(DBLP:books/mit/pfenning92/DartZ92,
 author       = {Philip W. Dart and Justin Zobel},
 year         = {1992},
 title        = {A Regular Type Language for Logic Programs},
 booktitle    = {Types in Logic Programming},
 pages        = {157--187},
)
@article(VanEmden:1976:SPL:321978.321991,
 author       = {Maarten H. van Emden and Robert A. Kowalski},
 year         = {1976},
 title        = {The Semantics of Predicate Logic as a Programming Language},
 journal      = {J. {ACM}},
 volume       = {23},
 number       = {4},
 pages        = {733--742},
 doi          = {10.1145/321978.321991},
)
@inproceedings(TAT,
 author       = {M\'{a}rio Florido and Lu\'{i}s Damas},
 year         = {1992},
 title        = {Types as Theories},
 booktitle    = {Proc. of post-conference workshop on Proofs and Types, Joint International Conference and Symposium on Logic Programming},
)
@inproceedings(DBLP:conf/lics/FruhwirthSVY91,
 author       = {Thom W. Fr{\"{u}}hwirth and Ehud Shapiro and Moshe Y. Vardi and Eyal Yardeni},
 year         = {1991},
 title        = {Logic Programs as Types for Logic Programs},
 booktitle    = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science {(LICS} '91), Amsterdam, The Netherlands, July 15-18, 1991},
 pages        = {300--309},
 doi          = {10.1109/LICS.1991.151654},
)
@inproceedings(DBLP:conf/iclp/GallagherW94,
 author       = {John P. Gallagher and D. Andre de Waal},
 year         = {1994},
 title        = {Fast and Precise Regular Approximations of Logic Programs},
 booktitle    = {Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
 pages        = {599--613},
)
@inproceedings(DBLP:conf/birthday/Hanus13,
 author       = {Michael Hanus},
 year         = {2013},
 title        = {Functional Logic Programming: From Theory to Curry},
 booktitle    = {Programming Logics - Essays in Memory of Harald Ganzinger},
 pages        = {123--168},
 doi          = {10.1007/978-3-642-37651-1\_6},
)
@article(Henglein:1993:TIP:169701.169692,
 author       = {Fritz Henglein},
 year         = {1993},
 title        = {Type Inference with Polymorphic Recursion},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {15},
 number       = {2},
 pages        = {253--289},
 doi          = {10.1145/169701.169692},
)
@article(DBLP:journals/tplp/HermenegildoBCLMMP12,
 author       = {Manuel V. Hermenegildo and Francisco Bueno and Manuel Carro and L{\'{o}}pez{-}Garc{\'{\i}}a, Pedro and Edison Mera and Jos{\'{e}} F. Morales and Germ{\'{a}}n Puebla},
 year         = {2012},
 title        = {An overview of Ciao and its design philosophy},
 journal      = {{TPLP}},
 volume       = {12},
 number       = {1-2},
 pages        = {219--252},
 doi          = {10.1017/S1471068411000457},
)
@book(DBLP:books/daglib/0095081,
 author       = {Patricia M. Hill and John W. Lloyd},
 year         = {1994},
 title        = {The G{\"{o}}del programming language},
 publisher    = {{MIT} Press},
)
@article(Kfoury:1993:TRP:169701.169687,
 author       = {A. J. Kfoury and Jerzy Tiuryn and Pawel Urzyczyn},
 year         = {1993},
 title        = {Type Reconstruction in the Presence of Polymorphic Recursion},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {15},
 number       = {2},
 pages        = {290--311},
 doi          = {10.1145/169701.169687},
)
@misc(klccne1952im,
 author       = {S. C. Kleene},
 year         = {1952},
 title        = {{Introduction to Metamathematics}},
)
@article(GlossarWiki:Kleene:1938,
 author       = {Stephen Cole Kleene},
 year         = {1938},
 title        = {On Notation for Ordinal Numbers},
 journal      = {J. Symb. Log.},
 volume       = {3},
 number       = {4},
 pages        = {150--155},
 doi          = {10.2307/2267778},
)
@inproceedings(DBLP:conf/slp/LakshmanR91,
 author       = {T. L. Lakshman and Uday S. Reddy},
 year         = {1991},
 title        = {Typed Prolog: {A} Semantic Reconstruction of the Mycroft-O'Keefe Type System},
 booktitle    = {Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991},
 pages        = {202--217},
)
@article(DBLP:journals/jcss/Milner78,
 author       = {Robin Milner},
 year         = {1978},
 title        = {A Theory of Type Polymorphism in Programming},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {17},
 number       = {3},
 pages        = {348--375},
 doi          = {10.1016/0022-0000(78)90014-4},
)
@article(DBLP:journals/ai/MycroftO84,
 author       = {Alan Mycroft and Richard A. O'Keefe},
 year         = {1984},
 title        = {A Polymorphic Type System for Prolog},
 journal      = {Artif. Intell.},
 volume       = {23},
 number       = {3},
 pages        = {295--307},
 doi          = {10.1016/0004-3702(84)90017-1},
)
@incollection(DBLP:books/mit/pfenning92/Naish92,
 author       = {Lee Naish},
 year         = {1992},
 title        = {Types and the Intended Meaning of Logic Programs},
 booktitle    = {Types in Logic Programming},
 pages        = {189--216},
)
@article(DBLP:journals/tplp/Naish06,
 author       = {Lee Naish},
 year         = {2006},
 title        = {A three-valued semantics for logic programmers},
 journal      = {{TPLP}},
 volume       = {6},
 number       = {5},
 pages        = {509--538},
 doi          = {10.1017/S1471068406002742},
)
@inproceedings(Pereira:1986:RDL:645520.656148,
 author       = {Lu\'{\i}s Moniz Pereira},
 year         = {1986},
 title        = {Rational Debugging in Logic Programming},
 booktitle    = {Proceedings of the Third International Conference on Logic Programming},
 publisher    = {Springer-Verlag},
 address      = {London, UK, UK},
 pages        = {203--210},
 doi          = {10.1007/3-540-16492-8_76},
)
@inproceedings(DBLP:conf/slp/PyoR89,
 author       = {Changwoo Pyo and Uday S. Reddy},
 year         = {1989},
 title        = {Inference of Polymorphic Types for Logic Programs},
 booktitle    = {Logic Programming, Proceedings of the North American Conference 1989, Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes},
 pages        = {1115--1132},
)
@phdthesis(VanRoy:1991:LPE:128589,
 author       = {Peter Van Roy},
 year         = {1990},
 title        = {Can Logic Programming Execute as Fast as Imperative Programming?},
 school       = {University of California at Berkeley},
)
@inproceedings(10.1007/BFb0026840,
 author       = {H{\"{u}}seyin Saglam and John P. Gallagher},
 year         = {1995},
 title        = {Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions},
 booktitle    = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings},
 pages        = {461--462},
 doi          = {10.1007/BFb0026840},
)
@inproceedings(DBLP:conf/iclp/SchrijversCWD08,
 author       = {Tom Schrijvers and V{\'{\i}}tor Santos Costa and Jan Wielemaker and Bart Demoen},
 year         = {2008},
 title        = {Towards Typed Prolog},
 booktitle    = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine, Italy, December 9-13 2008, Proceedings},
 pages        = {693--697},
 doi          = {10.1007/978-3-540-89982-2\_59},
)
@article(DBLP:journals/jlp/SomogyiHC96,
 author       = {Zoltan Somogyi and Fergus Henderson and Thomas C. Conway},
 year         = {1996},
 title        = {The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language},
 journal      = {J. Log. Program.},
 volume       = {29},
 number       = {1-3},
 pages        = {17--64},
 doi          = {10.1016/S0743-1066(96)00068-4},
)
@inproceedings(Vaucheret:2002:MPY:647171.718317,
 author       = {Claudio Vaucheret and Francisco Bueno},
 year         = {2002},
 title        = {More Precise Yet Efficient Type Inference for Logic Programs},
 booktitle    = {Proceedings of the 9th International Symposium on Static Analysis},
 series       = {SAS '02},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {102--116},
)
@incollection(DBLP:books/mit/pfenning92/YardeniFS92,
 author       = {Eyal Yardeni and Thom W. Fr{\"{u}}hwirth and Ehud Shapiro},
 year         = {1992},
 title        = {Polymorphically Typed Logic Programs},
 booktitle    = {Types in Logic Programming},
 pages        = {63--90},
)
@inproceedings(DBLP:conf/iclp/Zobel87,
 author       = {Justin Zobel},
 year         = {1987},
 title        = {Derivation of Polymorphic Types for {PROLOG} Programs},
 booktitle    = {Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 {(2} Volumes)},
 pages        = {817--838},
)