1. 12. Lloyd, J. W. and Shepherdson, J. C. 1991. Partial evaluation in logic programming. J. Log. Program. 11, 3&4, 217–242.
2. 4. Gallagher, J. P. and Bruynooghe, M. 1991. The derivation of an algorithm for program specialisation. New Generation Computing 9, 3/4, 305–334.
3. 19. Sen, K. and Agha, G. 2006. CUTE and jcute: Concolic unit testing and explicit path model-checking tools. In Proceedings of the 18th International Conference on Computer Aided Verification (CAV 2006), Ball, T. and Jones, R. B. , Eds. Lecture Notes in Computer Science, vol. 4144. Springer, 419–423.
4. The semantics of constraint logic programs;Jaffar;Journal of Logic Programming 37,1998
5. 20. Sen, K. , Marinov, D. , and Agha, G. 2005. CUTE: a concolic unit testing engine for C. In Proc. of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Wermelinger, M. and Gall, H. C. , Eds. ACM, 263–272.