Computation-oriented reductions of predicate to propositional logic

Authors: Jeroslow, Robert G

Journal: Decision Support Systems (1988)

DOI: 10.1016/0167-9236(88)90128-5

View in Otero