### 18 papers:

- WRLA-J-1996-BorovanskyKKM02 #logic #perspective
- ELAN from a rewriting logic point of view (PB, CK, HK, PEM), pp. 155–185.
- LDTA-2002-BrandMR #asf+sdf #logic
- The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology — System Demonstration (MvdB, PEM, CR), pp. 50–56.
- RTA-2002-BournezK #probability
- Probabilistic Rewrite Strategies. Applications to ELAN (OB, CK), pp. 252–266.
- FLOPS-J1-1998-BorovanskyKKR01 #functional #semantics
- Rewriting with Strategies in ELAN: A Functional Semantics (PB, CK, HK, CR), pp. 69–95.
- WRLA-2000-BrandR #asf+sdf #parsing #tool support
- ASF+SDF parsing tools applied to ELAN (MvdB, CR), pp. 138–157.
- WRLA-2000-KirchnerG #normalisation #proving #termination
- Termination and normalisation under strategy Proofs in ELAN (HK, IG), pp. 93–120.
- WRLA-2000-Ringeissen #finite #rule-based
- Handling Relations over Finite Domains in the Rule-Based System ELAN (CR), pp. 194–211.
- RTA-2000-Moreau #compilation
- REM (Reduce Elan Machine): Core of the New ELAN Compiler (PEM), pp. 265–269.
- WRLA-1998-BorovanskyC #constraints #process #theorem proving #using
- Cooperation of constraint solvers: using the new process control facilities of ELAN (PB, CC), pp. 1–20.
- WRLA-1998-BorovanskyJMR #source code
- Handling ELAN rewrite programs via an exchange format (PB, SJ, PEM, CR), p. 173.
- WRLA-1998-BorovanskyKKMR #bibliography
- An overview of ELAN (PB, CK, HK, PEM, CR), pp. 55–70.
- FLOPS-1998-BorovanskyKK #functional #semantics
- A Functional View of Rewriting and Strategies for a Semantics of ELAN (PB, CK, HK), pp. 143–166.
- ASF+SDF-1997-BorovanskyK #partial evaluation
- Strategies of ELAN: meta-interpretation and partial evaluation (PB, HK), p. 2.
- ASF+SDF-1997-BorovanskyKK #logic #specification
- Rewriting as a unified specification tool for logic and control: the ELAN language (PB, CK, HK), p. 3.
- RTA-1997-Ringeissen #algorithm #programming language #prototype #rule-based #unification
- Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language (CR), pp. 323–326.
- RWLW-1996-BorovanskyKKMV #framework #logic #named
- ELAN: A logical framework based on computational systems (PB, CK, HK, PEM, MV), pp. 35–50.
- RWLW-1996-KirchnerM
- A reflective extension of ELAN (HK, PEM), pp. 149–168.
- RWLW-1996-Viry
- Input/Output for ELAN (PV), pp. 51–64.