From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

Dominique Snyers André Thayse From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions Lecture Notes in Computer Science 271 Springer 1987 3-540-18217-9