1. Chen W., Kiefer M., Warren D. S.: HiLog: A First-Order Semantics of Higher-Order Logic Programming Constructs, Proc. of North American Conf. on Logic Programming, 1989, pp. 1090–1114
2. Dowty D., Wall R., Peters S.: Introduction to Montague Semantics, Reindel Publishing, Dodrecht, 1981
3. Freitag B., Schütz H., Specht G.: LOLA — A Logic Language for Deductive Databases and its Implementation, Proc. 2nd Intl. Symp. on Database Systems for Advanced Applications (DASFAA '91), Tokyo, 1991, pp. 216–225
4. Freitag B., Schütz H., Specht G., Bayer R., Güntzer U.: LOLA — a deductive database system with integrated SQL-database access, technical report, Technische Universität München, 1993
5. Janssen T.: Foundations and Applications of Montague Grammar: philosophy, framework, computer science, Centrum voor Wiskunde en Informatica, Tracte 19 (Part I) and 28 (Part II), Amsterdam, 1986