ML Anthology
Authors
Search
About
Bollinger, Toni
1 publications
IJCAI
1991
A Model Elimination Calculus for Generalized Clauses
Toni Bollinger