@ARTICLE {4219,
author={C. Caleiro and R.  Gonçalves},
doi={},
journal={Journal of Appl. Non-Classical Logics},
title={Behavioral algebraization of da Costa's C-systems},
year={2009},
month={January},
volume={19},
number={2},
pages={127-148},
ISSN={}
}