PP-2009-41: Amélie Gheerbrant Complete Axiomatization of the Stutter-Invariant Fragment of the Linear-time mu-calculus 1.Full Text, 2.Abstract. < Back
