@article{
    mannilamehlhorn,
    author = "Mannila, Heikki and Mehlhorn, K.",
    volume = "21",
    journal = "Information Processing Letters",
    year = "1985",
    pages = "269-272",
    title = "A fast algorithm for renaming a set of clauses as a Horn set"
}