@inproceedings{AFV94,

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

    Title = "{C}ompositional {A}nalysis for {E}quational {H}orn {P}rograms",

    Booktitle = "Proc. of Fifth Int'l Conf. on Algebraic and Logic Programming,
                 ALP'94, Madrid, Spain",

    Editor = "G. Levi and M. Rodr\'{\i}guez-Artalejo",

    Series = "Lecture Notes in Computer Science",

    Volume = "850",

    Pages = "77-94",

    Publisher = "Springer-Verlag, Berlin",

    Year = "1994"

}