Pekka Kilpeläinen and Heikki Mannila. Generation of test cases for simple Prolog programs. Acta Cybernetica, 9(3):235-246, 1990. [ PDF ]
This document was translated from BibTEX by bibtex2html