@inproceedings{BHRM94,
author = {Bernhard Beckert and Reiner H\"{a}hnle and
Anavai Ramesh and Neil V. Murray},
title = {On Anti-Links},
booktitle = {5th International Conference on
Logic Programming and Automated Reasoning ({LPAR}'94)},
place = {Kiev, Ukraine},
editor = {F. Pfenning},
publisher = {Springer},
series = {LNCS 822},
pages = {275--289},
year = {1994}
}