Harold Simmons The Monotonous Elimination of Predicate Variables. 23-68 1994 4 J. Log. Comput. 1 db/journals/logcom/logcom4.html#Simmons94 http://dx.doi.org/10.1093/logcom/4.1.23