APA (7th ed.) Citation

Fiby, R., Snyers, D., & Thayse, A. From logic to logic programming. Theroem proving techniques and P-functions. /Od logiky k logickému programovaniu.

Chicago Style (17th ed.) Citation

Fiby, Rudolf, D. Snyers, and A. Thayse. From Logic to Logic Programming. Theroem Proving Techniques and P-functions. /Od Logiky K Logickému Programovaniu.

MLA (9th ed.) Citation

Fiby, Rudolf, et al. From Logic to Logic Programming. Theroem Proving Techniques and P-functions. /Od Logiky K Logickému Programovaniu.