000 00283pam a2200109a 44500
082 _aTR
_bAFCRL-65-640
100 _aW. E. Samson
245 1 _aOn the theory of boolean formulas
_ballowable replacements for subformulas
260 _a
_b
_c
700 _aL. Calabi
997 _aTR5610 C
999 _c405577
_d405577