Felty, 1993. Implementing tactics and tacticals in a higher-order logic programming language 11.. https://doi.org/10.1007/bf00881900