Guillaume Le Blanc
Univ. de Paris-Sud, Orsay, France
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
Electronic Notes in Theoretical Computer Science (ENTCS)