@misc{indiciae418a3a854a34,
  title = {An algebraic generalization of Kripke structures},
  author = {Sérgio Marcelino and Pedro Resende},
  year = {2007},
  doi = {10.1017/s0305004108001667},
  url = {https://arxiv.org/abs/0704.1886},
  note = {Source identifier: 0704.1886}
}