@ARTICLE {22662,
author={S. Marcelino and P. Resende},
doi={10.1017/S0305004108001667},
journal={Mathematical Proceedings of the Cambridge Philosophical Society},
title={An algebraic generalization of Kripke structures},
year={2008},
month={July},
volume={145},
number={03},
pages={549-549},
ISSN={0305-0041}
}