Implementações de tableaux para raciocínio por aproximações
Dias, Wagner
Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2002-10-31
Acesso online. A biblioteca também possui exemplares impressos.