Dovier, A., Omodeo, E. G., & Policriti, A. Solvable Set: II. A Goal-Driven Unification Algorithm for the Blended Case. Applicable algebra in engineering, communication and computing..
Chicago-Zitierstil (17. Ausg.)Dovier, Agostino, Eugenio G. Omodeo, und Alberto Policriti. "Solvable Set: II. A Goal-Driven Unification Algorithm for the Blended Case." Applicable Algebra in Engineering, Communication and Computing. .
MLA-Zitierstil (9. Ausg.)Dovier, Agostino, et al. "Solvable Set: II. A Goal-Driven Unification Algorithm for the Blended Case." Applicable Algebra in Engineering, Communication and Computing., .
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.