Sciweavers

CADE
2007
Springer
15 years 10 months ago
Improvements in Formula Generalization
Markus Aderhold