TY  - RPRT
TI  - A Transformational Decision Procedure for Non-Clausal Propositional Formulas
AU  - Alexander Sakharov
PY  - 2003
UR  - https://arxiv.org/abs/cs/0306035
ID  - cs/0306035
ER  -