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