{- |
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
<https://en.wikipedia.org/wiki/Maude_system>

 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).
<http://maude.sip.ucm.es/~adrian/files/hetsAMAST.pdf>

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