Symbolic Reasoning Methods in Rewriting Logic and Maude.

José Meseguer
Published in: WoLLIC (2018)