| Title | From Wffs to Clauses: Transforming Wffs in Clauses Without Loss of Meaning |
| Publication Type | Technical Report |
| Authors | Vermeir, T |
| Title | From Wffs to Clauses: Transforming Wffs in Clauses Without Loss of Meaning |
| Publication Type | Technical Report |
| Authors | Vermeir, T |