Uniform Traversal Combinators: De nition, Use and Properties (1992)

by L Fegaras, T Sheard, D Stemple
Venue:Proc. 11th Intl. Conf. on Automated Deduction (CADE-11), volume 607 of Lecture Notes in Arti cial Intelligence