@article{KlarlundK95,
  title = {Rabin Measures},
  author = {Nils Klarlund and Dexter Kozen},
  year = {1995},
  url = {http://cjtcs.cs.uchicago.edu/articles/1995/3/contents.html},
  researchr = {https://researchr.org/publication/KlarlundK95},
  cites = {0},
  citedby = {0},
  journal = {Chicago J. Theor. Comput. Sci.},
  volume = {1995},
}