APA (7. basım) Alıntı

(1987). From logic design to logic programming: Theorem proving techniques and P-functions / Dominique Snyers, André Thayse.

Chicago Style (17. basım) Atıf

From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions / Dominique Snyers, André Thayse. 1987.

MLA (9th ed.) Atıf

From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions / Dominique Snyers, André Thayse. 1987.