Monads and Modular Term Rewriting (1997)

by Christoph Lüth , Neil Ghani
Citations:20 - 13 self