@INPROCEEDINGS{AntoyJost13LOPSTR
    ,author={S. Antoy and A. Jost}
    ,title={Compiling a Functional Logic Language: The Fair Scheme}
    ,year={2013}
    ,month={Sept.}
    ,address={Madrid, Spain}
    ,publisher={Dpto. de Systems Informaticos y Computation,
       Universidad Complutense de Madrid, TR-11-13}
    ,booktitle = "23rd Int'nl Symp. on Logic-based Program Synthesis and Transformation (LOPSTR 2013)"
    ,pages = "129--143"
}