TY  - RPRT
TI  - Theory reduction and non-Boolean theories.
AU  - H Primas
PY  - 1977
DO  - 10.1007/bf00280978
UR  - https://pubmed.ncbi.nlm.nih.gov/894154/
ID  - 894154
ER  -