From logic design to logic programming - Snyers Dominique; Thayse Andre (Berlin Springer-Verlag, 1987)
Keywords: Computer science