@inproceedings{clima06,
    title = {Prototyping {3APL} in the {Maude} Term Rewriting Language},
    author = {M. Birna van Riemsdijk and Frank S. de Boer and Mehdi Dastani and John-Jules {\text{Ch}} Meyer},
    booktitle = "Computational Logic in Multi-Agent Systems: 7th International Workshop (CLIMA'06)",
    year = 2007,
    editor = "Katsumi Inoue and Ken Satoh and Francesca Toni",
    series = "LNAI",
    volume = "4371",
    pages = "95--114",
    publisher = "Springer"
}