FROM STANDARD LOGIC TO LOGIC PROGRAMMING - Thayse, Ander (John Wiley & Sons, 1988)