Um método de inferência lógica baseado na transformação dual - Tonin, Isabel (1997)
Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico.