On the Structure of Uniquely Satis Formulas (1990)

by R Chang, J Kadin