classes inferable from positive data: Length–bounded elementary formal systems (1994)

by Rich
Venue:Information and Computation