Pekka Kilpeläinen, Heikki Mannila. Generation of test cases for simple prolog programs. Acta Cybern., 9(3):235-246, 1990.
@article{KilpelainenM90,
title = {Generation of test cases for simple prolog programs},
author = {Pekka Kilpeläinen and Heikki Mannila},
year = {1990},
tags = {Prolog, testing},
researchr = {https://researchr.org/publication/KilpelainenM90},
cites = {0},
citedby = {0},
journal = {Acta Cybern.},
volume = {9},
number = {3},
pages = {235-246},
}