Completeness for cut-based abduction
Alexandre Matos Arruda Marcelo Finger; Brazilian Logic Conference- Encontro Brasileiro de Lógica (EBL) (16th, 2011, Petrópolis)
Logic Journal of the IGPL Oxford v. 22, n. 2, p. 286-296, 2014Oxford 2014
Localização: IME - Inst. Matemática e Estatística (PROD-2454459 )(Acessar)