1. Bowen, K. A., and Kowalski, R. A., “Amalgamating language and metalanguage in logic programming,” inLogic Programming (Clark, K. L., and Tärnlund, S. Å., eds.), Academic Press, London and New York, pp. 153–172, 1982.
2. Bowen, K. A., and Weinberg, T., “A meta-level extension of Prolog,” inProceedings of the 1985 Symposium on Logic Programming (Cohen, J., and Conery, J., eds.), IEEE Computer Society Press, Washington, D. C., pp. 48–53, 1985.
3. Church, A., “A formulation of the simple theory of types,”The Journal of Symbolic Logic, 5, pp. 56–68, 1940.
4. Church, A., “A formulation of the logic of sense and denotation,” inStructure, Method, and Meaning (Essays in Honor of Henry M. Sheffer), New York, pp. 3–24, 1951.
5. Eshgi, K., “Application of meta-language programming to fault finding in logic circuits,” inProceedings of the First International Logic Programming Conference (van Caneghen, M., ed.), Marseille, pp. 240–246, 1982.