Implementing tactics and tacticals in a higher-order logic programming language
scientific article; zbMATH DE number 484764
scientific article