Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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