Context induction: an exercise (1991)

by Marie-Claude Gaudel, I Privara