Polynomial Time Inductive Inference of Ordered Tree Languages with Height-Constrained Variables from Positive Data. - Suzuki, Yusuke; Shoudai, Takayoshi; Matsumoto, Satoshi; Miyahara, Tetsuhiro (2004)