APA-Zitierstil (7. Ausg.)

Marchiori, E. (1995). A methodology for proving termination of general logic programs.

Chicago-Zitierstil (17. Ausg.)

Marchiori, Elena. A Methodology for Proving Termination of General Logic Programs. Amsterdam, 1995.

MLA-Zitierstil (9. Ausg.)

Marchiori, Elena. A Methodology for Proving Termination of General Logic Programs. 1995.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.