@article{
al-1999-pmc,
  title = {Partial Model Checking of Modal Equations: A Survey},
  author = {Henrik~Reif~Anders and J\o{}rn~Lind-Nielsen},
  journal = {{STTT}: International Journal on Software Tools for Technology Transfer},
  year = 1999,
  volume = 3
}