Using abduction to compute efficient proofs
Marcelo Finger Workshop on Logical and Semantic Frameworks, with Applications - LSFA (3. 2008 Salvador, Brasil)
Electronic Notes in Theoretical Computer Science Amsterdam v. 247, p. 39-49, 2009Amsterdam Elsevier 2009
Localização: IME - Inst. Matemática e Estatística (PROD-3009321 )(Acessar)