@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}
}