@book{bookba244fc8,
title   = {Automatic theorem proving in paraconsistent logics: theory and implementation},
author = {Costa, N A C and Henschen, L J and Lu, J J and Subrahmanian, V S},
year = {1990},
publisher = {Iea-Usp}
}