| |
| 1996 | ||
|---|---|---|
| 3 | Claudia M. G. M. Oliveira: The Implementation of LENA. FAPR 1996: 710-712 | |
| 2 | Claudia M. G. M. Oliveira: The Implementation of CondLP. FAPR 1996: 713-715 | |
| 1995 | ||
| 1 | Claudia M. G. M. Oliveira: Labelled Theorem Proving for Substructural Logics. SBIA 1995: 79-90 | |