1. Araya, C., Brown, F.M.: Schemata: A Language for Deduction. In: 9th. European Conference on Artificial Intelligence, Stockholm, Sweden (1990)
2. Boyer, R.S., Moore, J.S.: A Computational Logic. Academic Press, New York (1981)
3. Boyer, R.S., Moore, J.S.: Metafunctions: proving them correct and using them efficiently as new proof procedures. In: Boyer, R.S., Moore, J.S. (eds.) The Correctness Problem in Computer Science. Academic Press, New York (1981)
4. Brown, F.M.: The Theory of Meaning, Department of Artificial Intelligence Research Report 35, University of Edinburgh, June 1977, University of Edinburgh, Edinburgh Artificial Intelligence Research Papers 1973-1986, Scientific Datalink microfische (1989)
5. Brown, F.M.: Towards the Automation of Set Theory and its Logic. Artificial Intelligence 10 (1978)