A compositional proof system for the modal mu-calculus (1994)

by H R Andersen, C Stirling, G Winskel
Venue:In LICS