Jordi Levy, Joachim Niehren, Mateu Villaret
Well-Nested Context Unification
CADE, 2005.
@inproceedings{CADE-2005-LevyNV,
author = "Jordi Levy and Joachim Niehren and Mateu Villaret",
booktitle = "{Proceedings of the 20th International Conference on Automated Deduction}",
doi = "10.1007/11532231_11",
isbn = "3-540-28005-7",
pages = "149--163",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Well-Nested Context Unification}",
volume = 3632,
year = 2005,
}
Tags: