Optimal Unification of Bounded Simple Set Terms.
| Anthology ID: | DBLP:conf/cikm/Greco96 |
|---|---|
| Volume: | CIKM '96, Proceedings of the Fifth International Conference on Information and Knowledge Management, November 12 - 16, 1996, Rockville, Maryland, USA |
| Year: | 1996 |
| Venue: | International Conference on Information and Knowledge Management (CIKM) |
| Publisher: | ACM |
| Pages: | 326-336 |
| URL: | https://doi.org/10.1145/238355.238575 |
| DOI: | https://doi.org/10.1145/238355.238575 |
| DBLP: | conf/cikm/Greco96 |
| BibTeX: |
@inproceedings{greco-1996-optimal,
author = {Sergio Greco},
title = {{Optimal Unification of Bounded Simple Set Terms}},
booktitle = {{CIKM '96, Proceedings of the Fifth International Conference on Information and Knowledge Management, November 12 - 16, 1996, Rockville, Maryland, USA}},
pages = {326--336},
publisher = {ACM},
year = {1996},
url = {https://doi.org/10.1145/238355.238575},
doi = {https://doi.org/10.1145/238355.238575}
}