Witold Charatonik, David A. McAllester, Damian Niwinski, Andreas Podelski, Igor Walukiewicz
The Horn μ-calculus
LICS, 1998.
@inproceedings{LICS-1998-CharatonikMNPW,
author = "Witold Charatonik and David A. McAllester and Damian Niwinski and Andreas Podelski and Igor Walukiewicz",
booktitle = "{Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.1998.705643",
isbn = "0-8186-8506-9",
pages = "58--69",
publisher = "{IEEE Computer Society}",
title = "{The Horn μ-calculus}",
year = 1998,
}