Ayari, Abdelwaheb Programming Logics, MPI for Informatics, Max Planck Society;
Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
Ayari, A., & Basin, D. A. (1995). Interpretation of the Deductive Tableau in HOL. In L. C. Paulson (Ed.), Proceedings of the First Isabelle Users Workshop (pp. 91-100). Cambridge: University of Cambridge.