Theorem proving with abstraction
scientific article; zbMATH DE number 3711450