S: Syntax-directed discovery in mathematics. Erkenntnis 43 (1995)

by D Henley