Comparison of two Semantic Approaches to Unification
| Title | Comparison of two Semantic Approaches to Unification |
| Publication Type | Conference Paper |
| Year of Publication | 1998 |
| Authors | Baader, F, Leucker, M |
| Conference Name | Proceedings of the 12th International Workshop on Unification |
| Series | Research Report |
| Conference Location | Universita di Roma, La Sapienza |
| URL | http://www-i2.informatik.rwth-aachen.de/leucker/Literatur/Ps_files/leucker_baader__unif98.ps.gz |
Bibtex:
@inproceedings {LeuckerBaader98,
title = {Comparison of two Semantic Approaches to Unification},
booktitle = {Proceedings of the 12th International Workshop on Unification},
series = {Research Report},
number = {SI-98/8},
year = {1998},
address = {Universita di Roma, La Sapienza},
url = {http://www-i2.informatik.rwth-aachen.de/leucker/Literatur/Ps_files/leucker_baader__unif98.ps.gz},
author = {F. Baader and Martin Leucker}
}Postscript:
