@article{InfoComLogical,
  title = "Probabilistic Logical Characterization",
  author = "Holger Hermanns and Augusto Parma and Roberto Segala and Björn Wachter and Lijun Zhang",
  year = "2011",
  journal = "Information and Computation",
  url = "portal.acm.org/citation.cfm?id=1924850",
}