Login / Signup

A Complete, Nonredundant Algorithm for Reversed Skolemization.

Philip T. CoxTomasz Pietrzykowski
Published in: CADE (1980)
Keyphrases