Generation of test cases for simple Prolog programs

Reference:

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

Suggested BibTeX entry:

@article{kmcybernetica,
    author = {P. Kilpel{\"a}inen and Heikki Mannila},
    journal = {Acta Cybernetica},
    number = {3},
    pages = {235-246},
    title = {Generation of test cases for simple Prolog programs},
    volume = {9},
    year = {1990},
}