Mechanical verification on strategies
scientific article; zbMATH DE number 790775
scientific article