Adolfo Neto's publications

• http://journals.cambridge.org/action/displayFulltext?type=1&fid=1476640&jid=KER&volumeId=22&issueId=04&aid=1476632
• Towards an Efficient Prover for the C1C1 Paraconsistent Logic by: Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger http://www.citeulike.org/article/6248592
• Effective Prover for Minimal Inconsistency Logic, by Adolfo Gustavo Serra Seca Neto and Marcelo Finger http://www.springerlink.com/content/b80728w7m6885765/
• Modifications on the implementation of a framework for tableaux methods http://www.scribd.com/doc/67783747