Bollinger, Toni

1 publications

IJCAI 1991 A Model Elimination Calculus for Generalized Clauses Toni Bollinger