@article{BSL7_2_Cignoli,
author = {Roberto CIGNOLI},
title = {Deductive Systems and Congruence in Ortholaticces},
journal = {Bulletin of the Section of Logic},
volume = {7},
number = {2},
year = {1978},
pages = {87--88}
}