A Complete Deductive System for the µ-Calculus (1995)

by Igor Walukiewicz
Citations:14 - 0 self