TY  - JOUR
AU  - R.H. Cowen
TI  - Solving algebraic problems in propositional logic by tableau.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1982
SP  - 187
EP  - 190
VL  - 22
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1982__22_138000/
ID  - AMLG_1982__22_138000
ER  -