From logic design to logic programming theorem proving techniques and p-functions - Snyers, Dominique; Thayse, André 1940- (Springer, 1987)