Document Versions
| A Complete Deductive System for the µ-Calculus –Igor Walukiewicz — 1995 |
| A Complete Deductive System for the µ-Calculus –Igor Walukiewicz, Igor Walukiewicz — 1995 |
| A Complete Deductive System for the µ-Calculus –Igor Walukiewicz, Ny Munkegade — 1993 |
