Suzuki, et al.. Ordered Term Tree Languages Which Are Polynomial Time Inductively Inferable from Positive Data. Springer Berlin Heidelberg, 2002, doi:10.1007/3-540-36169-3_17.