Generation of test cases for simple prolog programs

Pekka Kilpeläinen, Heikki Mannila. Generation of test cases for simple prolog programs. Acta Cybern., 9(3):235-246, 1990.

Abstract

Abstract is missing.