@InProceedings{fme2003,
    AUTHOR = {Grigore Ro\backslashcsu and Steven Eker and Patrick Lincoln and Jose Meseguer},
    TITLE = {Certifying and Synthesizing Membership Equational Proofs},
    VOLUME = {2805},
    YEAR = {2003},
    PAGES = {359--380},
    MONTH = {September},
    ADDRESS = {Berlin},
    URL = {http://www.csl.sri.com/papers/1559/},
    SERIES = {Lecture Notes in Computer Science},
    BOOKTITLE = {International Symposium of Formal Methods Europe (FME 2003)},
    PUBLISHER = {Springer},
    EDITOR = {Keijiro Araki and Stefania Gnesi and Dino Mandrioli}
}