Integrating computer algebra into proof planning
scientific article; zbMATH DE number 1234679