@article{cj99-04,
       author={Christoph Karg and Johannes K\"obler and Rainer Schuler},
       title={The Complexity of Generating Test Instances},
       journal={Chicago Journal of Theoretical Computer Science},
       volume={1999},
       number={4},
       publisher={MIT Press},
       month={March},
       year={1999}
}