A Model Elimination Calculus for Generalized Clauses.

Toni Bollinger

Browse the full IJCAI paper archive.