1. Operational semantics for declarative multi-paradigm languages;Albert;Journal of Symbolic Computation,2005
2. Antoy, S., M. Hanus, J. Liu and A. Tolmach, A virtual machine for functional logic computations, in: Proc. of the 16th International Workshop on Implementation and Application of Functional Languages (IFL 2004) (2004), pp. 169–184
3. Antoy, S. and S. Johnson, Teabag: A functional logic language debugger, in: Proc. 13th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2004) (2004), pp. 4–18
4. Booth, S.P. and S.B. Jones, Walk backwards to happiness - debugging by time travel, in: Proceedings of the Third International Workshop on Automatic Debugging (AADEBUG), 1997, pp. 171–183
5. Braßel, B., O. Chitil, M. Hanus and F. Huch, Observing functional logic computations, in: Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04) (2004), pp. 193–208