P. Kilpeläinen and H. Mannila, “Generation of test cases for simple Prolog programs”, Acta Cybern, vol. 9, no. 3, pp. 235-246, Jan. 1990.