APA-referens (7:e uppl.)

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-referens (17:e uppl.)

Dovier, Agostino, Eugenio G. Omodeo, och Alberto Policriti. "Solvable Set: II. A Goal-Driven Unification Algorithm for the Blended Case." Applicable Algebra in Engineering, Communication and Computing. .

MLA-referens (9:e uppl.)

Dovier, Agostino, et al. "Solvable Set: II. A Goal-Driven Unification Algorithm for the Blended Case." Applicable Algebra in Engineering, Communication and Computing., .