Monads and Modular Term Rewriting (1997)

by Christoph Lüth , Neil Ghani
Citations:19 - 14 self