A compositional proof system for the modal µ–calculus (1994)

by Henrik R Andersen, Colin Stirling, Glynn Winskel
Venue:In Proceedings of the IEEE Symposium on Logic in Computer Science LICS’94