Implementing the model evolution calculus (0)

by Peter Baumgartner, Alexander Fuchs, Cesare Tinelli
Venue:BG98] Leo Bachmair and Harald Ganzinger. Chapter 11: Equational Reasoning in Saturation-Based Theorem Proving. In Wolfgang Bibel