1. David Basin. Isawhelk: Whelk interpreted in Isabelle. Abstract accepted at the 11th International Conference on Logic Programming (ICLP94). Full version available via anonymous ftp to mpi-sb.mpg.de in pub/papers/conferences/Basin-ICLP94.dvi.Z.
2. David Basin, Alan Bundy, Ina Kraan, and Sean Matthews. A framework for program development based on schematic proof. In 7th International Workshop on Software Specification and Design, Los Angeles, December 1993. IEEE Computer Society Press.
3. David Basin and Robert Constable. Metalogical frameworks. In Gérard Huet and Gordon Plotkin, editors, Logical Environments, pages 1–29. Cambridge University Press, 1993.
4. David Basin and Sean Matthews. A conservative extension of first order logic and its applications to theorem proving. In 13th Conference of the Foundations of Software Technology and Theoretical Computer Science, pages 151–160, December 1993.
5. A. Bundy. Tutorial notes; reasoning about logic programs. In G. Comyn, N.E. Fuchs, and M.J. Ratcliffe, editors, Logic programming in action, pages 252–277. Springer Verlag, 1992.