1.
From Logic Design to Logic Programming
by Snyers, D., Thayse, A.
ISBN: 9783540182177
List Price: $57.95
2.
From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions
by Snyers, D., Thayse, A.
ISBN: 9780387182179
List Price: $49.95