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.