Tableau Methods for a Logic with Term Declarations.

Pedro J. Martín Antonio Gavilanes Javier Leach Tableau Methods for a Logic with Term Declarations. 343-372 2000 29 J. Symb. Comput. 2 db/journals/jsc/jsc29.html#MartinGL00