Kilpeläinen Pekka; Mannila Heikki: Generation of test cases for simple Prolog programs. In: Acta cybernetica, (9) 3. pp. 235-246. (1990)