APA-Zitierstil (7. Ausg.)

Ross, B. J., & Wilk, P. F. (1990). A semantic approach to proving Prolog transformations using cut.

Chicago-Zitierstil (17. Ausg.)

Ross, Brian J., und Paul F. Wilk. A Semantic Approach to Proving Prolog Transformations Using Cut. Edinburgh, 1990.

MLA-Zitierstil (9. Ausg.)

Ross, Brian J., und Paul F. Wilk. A Semantic Approach to Proving Prolog Transformations Using Cut. 1990.