Toni Bollinger A Model Elimination Calculus for Generalized Clauses. 126-131 1991 IJCAI db/conf/ijcai/ijcai91.html#Bollinger91