Robert Demolombe Syntactical Characterization of a Subset of Domain-Independent Formulas. 71-94 1992 39 J. ACM 1 db/journals/jacm/jacm39.html#Demolombe92 http://doi.acm.org/10.1145/147508.147520