A Higher-order Interpretation of Deductive Tableau

Abdelwaheb Ayari, David A. Basin. A Higher-order Interpretation of Deductive Tableau. Journal of Symbolic Computation, 31(5):487-520, 2001.

Abstract

Abstract is missing.