Supporting ArcAngel in ProofPower

Frank Zeyda, Marcel Oliveira, Ana Cavalcanti

Research output: Contribution to journalArticlepeer-review

Original languageUndefined/Unknown
Pages (from-to)225-243
Number of pages19
JournalElectronic Notes in Theoretical Computer Science
Volume259
Issue numberC
Publication statusPublished - 31 Dec 2009

Cite this