PP-2008-46: Nina Gierasimczuk Identification through Inductive Verification. Application to Monotone Quantifiers 1.Full Text, 2.Abstract. < Back
