From logic design to logic programming : theorem proving techniques and P-functions - Snyers Dominique; Thayse Andre (Berlin Springer Verlag, 1987)
Keywords: Logic design; Logic programming