@inproceedings{
    mulp86,
    author = "Mannila, Heikki and Ukkonen, E.",
    booktitle = "Third International Conference on Logic Programming",
    year = "1986",
    pages = "122-133",
    title = "On the complexity of unification sequences"
}