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

by H R Andersen, C Stirling, G Winskel
Venue:Proceeding of the 9th Annual IEEE Symposium on Logic in Computer Science