Building Equational Proving Tools by Reflection in Rewriting Logic (1998)

by Manuel Clavel , Francisco Durán , Steven Eker , José Meseguer
Venue:In Cafe: An Industrial-Strength Algebraic Formal Method
Citations:38 - 19 self