@book{bookac62e881,
title   = {Sistemas formais inconsistentes},
author = {Costa, N C A},
year = {1993},
publisher = {Universidade Federal do Parana}
}