No. 6 (1995): RS-06 A Complete Deductive System for the mu-Calculus

Published: 1995-01-06