@inproceedings{
    mutimestamp,
    author = "Mannila, Heikki and Ukkonen, E.",
    booktitle = "Third IEEE Conference on Logic Programming",
    year = "1986",
    pages = "159-167",
    title = "Timestamped term representation for implementing Prolog"
}