@book(BlaBos:rainl05,
 author       = {Patrick Blackburn and Johan Bos},
 year         = {2005},
 title        = {Representation and Inference for Natural Language. A First Course in Computational Semantics},
 publisher    = {CSLI},
)
@incollection(BlaBosKoh:iacs01,
 author       = {Patrick Blackburn and Johan Bos and Michael Kohlhase and Hans de Nivelle},
 year         = {2001},
 title        = {Inference and Computational Semantics},
 editor       = {Harry Bunt and Leen Kievit and Reinhard Muskens and Margriet Verlinden},
 booktitle    = {Computing Meaning (Volume 2)},
 publisher    = {Kluwer Academic Publishers},
 pages        = {11--28},
 doi          = {10.1007/978-94-010-0572-2_2},
)
@inproceedings(CodHorKoh:palai11,
 author       = {Mihai Codescu and Fulya Horozal and Michael Kohlhase and Till Mossakowski and Florian Rabe},
 year         = {2011},
 title        = {Project Abstract: Logic Atlas and Integrator ({LATIN})},
 editor       = {James Davenport and William Farmer and Florian Rabe and Josef Urban},
 booktitle    = {{Intelligent Computer Mathematics}},
 series       = {LNAI},
 volume       = {6824},
 publisher    = {Springer Verlag},
 pages        = {289--291},
 doi          = {10.1007/978-3-642-22673-1_24},
 url          = {https://kwarc.info/people/frabe/Research/CHKMR_latinabs_11.pdf},
)
@article(Davidson:tam67,
 author       = {Donald Davidson},
 year         = {1967},
 title        = {Truth and Meaning},
 journal      = {Synthese},
 volume       = {17},
 doi          = {10.1007/bf00485035},
)
@book(EijUng:csfp10,
 author       = {Jan van Eijck and Christina Unger},
 year         = {2010},
 title        = {Computational Semantics with Functional Programming},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/cbo9780511778377},
)
@book(Gamut:llmillg91,
 author       = {L. T. F. Gamut},
 year         = {1991},
 title        = {Logic, Language and Meaning, Volume II, Intensional Logic and Logical Grammar},
 volume       = {2},
 publisher    = {University of Chicago Press},
 address      = {Chicago},
)
@misc(GF:on,
 title        = {GF - Grammatical Framework},
 howpublished = {\url{http://www.grammaticalframework.org}},
)
@misc(GFKernel,
 title        = {GF Kernel},
 howpublished = {\url{https://github.com/kwarc/gf_kernel}},
)
@misc(RGL:on,
 title        = {GF Resource Grammar Library: Synopsis},
 howpublished = {\url{https://www.grammaticalframework.org/lib/doc/synopsis/index.html}},
)
@misc(GLFdemo,
 title        = {GLF Demo Repository},
 howpublished = {\url{https://gl.kwarc.info/COMMA/glf-demo-lfmtp2019}},
)
@inproceedings(KohKol:ttmlu00,
 author       = {Michael Kohlhase and Alexander Koller},
 year         = {2000},
 title        = {Towards A Tableaux Machine for Language Understanding},
 editor       = {Johan Bos and Michael Kohlhase},
 booktitle    = {Proceedings of Inference in Computational Semantics ICoS-2},
 publisher    = {Computational Linguistics, Saarland University},
 pages        = {57--88},
)
@misc(LATIN:git,
 title        = {The LATIN Logic Atlas},
 howpublished = {\url{https://gl.mathhub.info/MMT/LATIN}},
)
@misc(uniformal:on,
 title        = {{MMT} -- Language and System for the Uniform Representation of Knowledge},
 howpublished = {project web site at \url{https://uniformal.github.io/}},
 url          = {https://uniformal.github.io/},
)
@inbook(Montague:efl70,
 author       = {R. Montague},
 year         = {1970},
 title        = {English as a Formal Language},
 chapter      = {Linguaggi nella Societa e nella Tecnica, B. Visentini et al eds},
 pages        = {189--224},
 publisher    = {Edizioni di Communita, Milan},
 note         = {Reprinted in~\cite{Thomason:fp74}, 188--221},
)
@incollection(Montague:tptoqi73,
 author       = {Richard Montague},
 year         = {1974},
 title        = {The Proper Treatment of Quantification in Ordinary {English}},
 editor       = {R. Thomason},
 booktitle    = {Formal Philosophy. {Selected} Papers},
 publisher    = {Yale University Press},
 address      = {New Haven},
)
@unpublished(MueRab:rpfsm,
 author       = {Dennis M{\"u}ller and Florian Rabe},
 year         = {2019},
 title        = {Rapid Prototyping Formal Systems in MMT: Case Studies},
 url          = {https://kwarc.info/people/frabe/Research/MR_prototyping_19.pdf},
)
@inproceedings(PinKoh:flfdt00,
 author       = {Manfred Pinkal and Michael Kohlhase},
 year         = {2000},
 title        = {Feature Logic for Dotted Types: A Formalism for Complex Word Meanings},
 booktitle    = {Proceedings of the 38\textsuperscript{th} Annual Meeting of the Association for Computational Linguistics},
 address      = {Hongkong},
 pages        = {521--528},
 doi          = {10.3115/1075218.1075284},
 url          = {http://kwarc.info/kohlhase/papers/acl00.pdf},
)
@inproceedings(Rabe:MAGMS13,
 author       = {Florian Rabe},
 year         = {2013},
 title        = {{The {MMT API}: A Generic {MKM} System}},
 editor       = {Jacques Carette and David Aspinall and Christoph Lange and Petr Sojka and Wolfgang Windsteiger},
 booktitle    = {Intelligent Computer Mathematics},
 series       = {Lecture Notes in Computer Science},
 volume       = {7961},
 publisher    = {Springer},
 pages        = {339--343},
 doi          = {10.1007/978-3-642-39320-4_25},
)
@article(RabKoh:WSMSML13,
 author       = {Florian Rabe and Michael Kohlhase},
 year         = {2013},
 title        = {A Scalable Module System},
 journal      = {Information \& Computation},
 volume       = {0},
 number       = {230},
 pages        = {1--54},
 doi          = {10.1016/j.ic.2013.06.001},
 url          = {http://kwarc.info/frabe/Research/mmt.pdf},
)
@misc(Ranta:GfGoogle2016,
 author       = {Aarne Ranta},
 title        = {Grammatical Framework - Formalizing the Grammars of the World},
 howpublished = {\url{http://www.grammaticalframework.org/~aarne/gf-google-2016.pdf}},
)
@article(Ranta:GF04,
 author       = {Aarne Ranta},
 year         = {2004},
 title        = {Grammatical Framework --- A Type-Theoretical Grammar Formalism},
 journal      = {Journal of Functional Programming},
 volume       = {14},
 number       = {2},
 pages        = {145--189},
 doi          = {10.1017/S0956796803004738},
)
@book(ranta-2011,
 author       = {Aarne Ranta},
 year         = {2011},
 title        = {{Grammatical Framework: Programming with Multilingual Grammars}},
 publisher    = {{CSLI Publications}},
 address      = {Stanford},
 note         = {ISBN-10: 1-57586-626-9 (Paper), 1-57586-627-7 (Cloth)},
)
@book(Thomason:fp74,
 editor       = {R. Thomason},
 year         = {1974},
 title        = {Formal Philosophy: selected Papers of Richard Montague},
 publisher    = {Yale University Press, New Haven, CT},
)