Planejamento abdutivo no cálculo de eventos
Pereira, Silvio Do Lago
Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2002-05-28
Acesso online. A biblioteca também possui exemplares impressos.