@inproceedings{
    mu87,
    author = "Mannila, Heikki and Ukkonen, E.",
    booktitle = "Proceedings, 1987 Symposium on Logic Programming",
    year = "1987",
    pages = "205-214",
    title = "Flow analysis of Prolog programs"
}