Knowledge-based proof planning
scientific article; zbMATH DE number 1454255
scientific article