Uniform Traversal Combinators: Definition, Use and (1992)

by L Fegaras, T Sheard, D Stemple
Venue:Properties”, in 11th International Conference on Automated Deduction