@article{BSL7_4_Alves,
author = {Elias H. ALVES},
title = {On Decidability of a System of Dialectical Propositional Logic},
journal = {Bulletin of the Section of Logic},
volume = {7},
number = {4},
year = {1978},
pages = {179--184}
}