Proof systems for Hennessy-Milner logic with recursion (1988)

by K G Larsen
Venue:In Proc. 13th Colloquium on Trees in Algebra and Programming (CAAP