Kilpeläinen, P. and Mannila, H. 1990. Generation of test cases for simple Prolog programs. Acta Cybernetica. 9, 3 (Jan. 1990), 235–246.