On the amount of nonconstructivity in learning formal languages from positive data - Jain, S. (2013)
10.1007/978-3-642-29952-0_41