Hyper Tableaux (1996)

by P Baumgartner, U Furbach, I Niemelä
Venue:In Proc. JELIA 96, number 1126 in LNAI. European Workshop on Logic in AI