Authors: Martin, PJ Gavilanes, A Leach, J

Citation: Pj. Martin et al., Tableau methods for a logic with term declarations, J SYMB COMP, 29(2), 2000, pp. 343-372