@inproceedings{DBLP:conf/rta/ArnborgT85,
author = {Stefan Arnborg and
Erik Tid{\'e}n},
title = {Unification Problems with One-Sided Distributivity},
booktitle = {RTA},
year = {1985},
pages = {398-406},
ee = {http://dx.doi.org/10.1007/3-540-15976-2_20},
crossref = {DBLP:conf/rta/1985},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/rta/1985,
editor = {Jean-Pierre Jouannaud},
title = {Rewriting Techniques and Applications, First International
Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings},
booktitle = {RTA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {202},
year = {1985},
isbn = {3-540-15976-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}