Tableaux for approximate reasoning /

Por Finger, Marcelo., Wassermann, Renata., Universidade de São Paulo.
Publicado em 2001

Towards efficient modelling of distributed knowledge using equational and order-sorted logic /

Por Wassermann, Renata., Instituto de Matemática e Estatística., Departamento de Ciência da Computação., Silva, Flávio Soares Corrêa da.
Publicado em 1994