Hyper Tableaux (0)

by P Baumgartner, U Furbach, I Niemelä
Venue:In Proc. of the European Workshop on Logics in Artificial Intelligence (JELIA ’96), number1126in LNAI