@inproceedings{AFRV93,
    Author = "M. Alpuente and M. Falaschi and G. Vidal",
    Title = "{Incremental Equational Constraint Analyses}",
    Booktitle = "Proc.\ of the 10th International Logic Programming
                 Symposium (ILPS'93)",
    Pages = "657-658",
    Publisher = "MIT Press",
    Year = "1993",
    Note = "Poster"
}