@misc{indiciaedb9b37b92116,
  title = {An n log n Alogrithm for Deterministic Kripke Structure Minimization},
  author = {Karl Meinke and Muddassar A. Sindhu},
  year = {2012},
  url = {https://arxiv.org/abs/1205.5928},
  note = {Source identifier: 1205.5928}
}