conference Which classes of elementary formal systems are polynomial-time learnable Satoru Miyano, Ayumi Shinohara, Takeshi Shinohara ALT, , pp.139-150 (1991), [peer-reviewed]