{- |
Description :  logic for Maude (rewriting logic)
Copyright   :  (c) Otto-von-Guericke University of Magdeburg
License     :  GPLv2 or higher, see LICENSE.txt

The "Maude" folder contains the skeleton of
an instance of "Logic.Logic" for Maude, see

 M. Codescu, T. Mossakowski, A. Riesco, and C. Maeder.
Integrating Maude into Hets
In M. Johnson and D. Pavlovic, editors, Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology (AMAST 2010).

Adrián Riesco Rodríguez: Declarative Debugging and Heterogeneous Specification in Maude, PhD thesis <http://maude.sip.ucm.es/~adrian/files/thesis.pdf>


module Maude where