@inproceedings{ALP-PLILP-1998-LimetS,
author = "Sébastien Limet and Frédéric Saubion",
booktitle = "{Proceedings of the 10th International Symposium on Principles of Declarative Programming, Held Jointly with the Seventh International Conference on Algebraic and Logic Programming}",
doi = "10.1007/BFb0056619",
isbn = "3-540-65012-1",
pages = "266--281",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{A General Framework for R-Unification Problems}",
volume = 1490,
year = 1998,
}
Tags: