@article {Vermeir_fromwffs,
	title = {From Wffs to Clauses: Transforming Wffs in Clauses Without Loss of Meaning},
	year = {2002},
	abstract = {<p>This paper is the rst step into the research of inconsistency-adaptive logic programming. It will be shown here that a mapping can be dened for well formed formulas to logic programming clauses in a paraconsistent environment, and without loss of information. Furthermore, this mapping is a purely mechanical procedure that can be implemented with ease on a computer.</p>},
	author = {Vermeir, Timothy}
}
