Publications
Export 1 results:
Author Title Type [ Year
] Filters: Author is Loffredo D'Ottaviano, Itala M. and First Letter Of Title is I [Clear All Filters]
. 2002. “An Inconsistency-Adaptive Proof Procedure For Logic Programming” . Paraconsistency. The Logical Way to the Inconsistent: 323-340.
