APA-Zitierstil (7. Ausg.)

Kraan, I., Basin, D. A., & Bundy, A. (1993). Middle-out reasoning for logic program synthesis.

Chicago-Zitierstil (17. Ausg.)

Kraan, Ina, David A. Basin, und Alan Bundy. Middle-out Reasoning for Logic Program Synthesis. Edinburgh, 1993.

MLA-Zitierstil (9. Ausg.)

Kraan, Ina, et al. Middle-out Reasoning for Logic Program Synthesis. 1993.