Automated reasoning and mathematics. Essays in memory of William W. McCune
scientific article; zbMATH DE number 6142696