Alexander Clark Rémi Eyraud Identification in the Limit of Substitutable Context-Free Languages. 283-296 2005 conf/alt/2005 ALT http://dx.doi.org/10.1007/11564089_23 db/conf/alt/alt2005.html#ClarkE05