Uniform traversal combinators: Definition, use and properties (1992)

by Leonidas Fegaras, Tim Sheard, David Stemple
Venue:In 11th International Conference on Automated Deduction (CADE-11), volume 607 of Lect. Notes in Comp. Sci