C.: Darwin: A theorem prover for the model evolution calculus (2004)

by P Baumgartner, A Fuchs, Tinelli
Venue:IJCAR ESFOR (aka S4). Electronic Notes in Theoretical Computer Science