Confluence for Abstract and Higher-Order Rewriting (1994)

by V van Oostrom