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

by Igor Walukiewicz
Citations:13 - 0 self