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. (2001). A Higher-order Interpretation of Deductive Tableau. Journal of Symbolic Computation, 31(5), 487-520.