Rewriting Logic as a Logical and (1993)

by N Mart'i-Oliet, J Meseguer
Venue:Semantic Framework. Report SRI-CSL-93-05, SRI International, Menlo Park