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

by Igor Walukiewicz
Citations:15 - 0 self