1. Aiello, L. and Weyhrauch, R. W., “Using Meta-theoric Reasoning to do Algebra,”Proc. of the 5th Automated Deduction Conf., Les Ares, 1980.
2. Boolos, G.,The improvability of inconsistance, Cambridge Univ. Press, London, 1979.
3. Bowen, K. and Kowalski, R., “Amalgamating language and metalanguage in logic programming,” inLogic Programming (K. Clark and S.-Å. Tärnlund, eds.), Academic Press, New York, pp. 153–172, 1982.
4. Carnap, R., “Modalities and quantification,”J. S. L., Vol. 1 No. 12, 1946.
5. Clark, K. and Greory, S., “Notes on systems programming in PARLOG,”Proc. of the Int. Conf. on Fifth Generation Computer Systems 1984 (ICOT, ed.), Tokyo, pp. 299–306, 1984.