@inproceedings{AFRV94,

    Author = "M. Alpuente and M. Falaschi and M.J. Ramis and G. Vidal",

    Title = "{A} {C}ompositional {S}emantics for {C}onditional {T}erm
             {R}ewriting {S}ystems",

    Booktitle = "Proc. 1994 Int'l Conf. on Computer Languages ICCL'94,
                 Toulouse, France",

    Editor = "H.E. Bal",

    Pages = "171-182",

    Publisher = "IEEE Computer Society Press",

    Year = "1994"

}