Symbolic Reasoning Methods in Rewriting Logic and Maude.

Jos Meseguer

Browse the full WoLLIC paper archive.