A vision for automated deduction rooted in the connection method
scientific article; zbMATH DE number 6833546