From logic to logic programming - Doets, Kees (Massachusetts Institute of Technology Cambridge Mass., 1994)
bibliography:ppp.197-199