@mastersthesis{mastersthesis8a9fb494,
title   = {Implementações de tableaux para raciocínio por aproximações},
author = {Dias, Wagner and Finger, Marcelo},
year = {2002},
school = {Universidade de São Paulo}
}