Bol, R. N. (1991). Loop checking in partial deduction.
Chicago-Zitierstil (17. Ausg.)Bol, Roland N. Loop Checking in Partial Deduction. Amsterdam, 1991.
MLA-Zitierstil (9. Ausg.)Bol, Roland N. Loop Checking in Partial Deduction. 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.