Timestamped term representation for implementing Prolog

Reference:

Heikki Mannila and E. Ukkonen. Timestamped term representation for implementing prolog. In Third IEEE Conference on Logic Programming, pages 159–167, 1986.

Suggested BibTeX entry:

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