Automating "Human-Like" Example-Use in Mathematics.

Alison Pease, Ursula Martin

Browse the full IJCAI paper archive.