Software testing for conventional and logic programming / - Jack, Oliver. (W. de Gruyter, 1996)