FROM LOGIC DESIGN TO LOGIC PROGRAMMING - Snyers, Dominique (Springer, 1987)