Witold Charatonik, David A. McAllester, Damian Niwinski, Andreas Podelski, Igor Walukiewicz. The Horn Mu-calculus. In LICS. pages 58-69, 1998.
@inproceedings{CharatonikMNPW98,
title = {The Horn Mu-calculus},
author = {Witold Charatonik and David A. McAllester and Damian Niwinski and Andreas Podelski and Igor Walukiewicz},
year = {1998},
researchr = {https://researchr.org/publication/CharatonikMNPW98},
cites = {0},
citedby = {0},
pages = {58-69},
booktitle = {LICS},
}