TY  - BOOK
AU  - Hustad Otte
TI  - On the decision problem for formulas in which all disjunctions are binary
U1  - 510.7 
PY  - 1970///
CY  - Oslo
PB  - University
KW  - Mathematics
ER  -