@article{
    mubit,
    author = "Mannila, Heikki and Ukkonen, E.",
    title = "Unifications, deunifications, and their complexity",
    journal = "BIT",
    number = "4",
    volume = "30",
    year = "1990",
    pages = "599-619"
}