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