PP-2002-02: Maarten Marx, Michael Masuch Regular Equivalence and Dynamic Logic 1.Full Text, 2.Abstract. < Back
