Adaptation of declaratively represented methods in proof planning
scientific article; zbMATH DE number 1248231