Steffen Lange Rolf Wiehagen Polynomial-time Inference of Arbitrary Pattern Languages. 361-370 1991 8 New Generation Comput. 4 db/journals/ngc/ngc8.html#Lange91 http://dx.doi.org/10.1007/BF03037093