Toni Bollinger A Model Elimination Calculus for Generalized Clauses. 19-22 1992 TABLEAUX db/conf/tableaux/tableaux92.html#Bollinger92