Proof systems for Hennessy-Mimer logic with recursion, in “CAAP ‘88 (1988)

by K G LARSEN
Venue:Lecture Notes in Computer Science