Authors: A.Felty

Citation: A.felty, Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language, Journal of automated reasoning , 11(1), 1993, pp. 43-82