Updates in propositional databases (1988)

by M Dalal