Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti. Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case. Appl. Algebra Eng. Commun. Comput., 9(4):293-332, 1999. [doi]
@article{DovierOP99,
title = {Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case},
author = {Agostino Dovier and Eugenio G. Omodeo and Alberto Policriti},
year = {1999},
url = {http://link.springer.de/link/service/journals/00200/bibs/9009004/90090293.htm},
tags = {context-aware},
researchr = {https://researchr.org/publication/DovierOP99},
cites = {0},
citedby = {0},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {9},
number = {4},
pages = {293-332},
}