Constraints, Vol. V4, No. 3. (1999), pp. 281-292.
(2006), pp. 625-632.
Queue, Vol. 2, No. 9. (2005), pp. 32-38.
(1992), pp. 1-14.
(1999), pp. 1-7.
(2003), pp. 79-86.
Commun. ACM, Vol. 26, No. 11. (November 1983), pp. 853-860.
SIGPLAN Not., Vol. 9, No. 6. (June 1974), pp. 25-36.
SIGPLAN Not., Vol. 8, No. 6. (June 1973), pp. 92-95.
(2003), pp. 137-142.
ACM Comput. Surv., Vol. 21, No. 3. (September 1989), pp. 359-411.
SIGPLAN Not., Vol. 41, No. 8. (August 2006), pp. 34-43.
http://www.ppig.org/papers/13th-clarke.pdf
(1999)
Commun. ACM, Vol. 47, No. 9. (September 2004), pp. 47-52.
Human Centric Computing Languages and Environments, 2002. Proceedings. IEEE 2002 Symposia on (2002), pp. 198-206.
Journal of Visual Languages and Computing, Vol. 7, No. 2. (1996), pp. 131-174.
(1997)
Synthese, Vol. V79, No. 1. (21 April 1989), pp. 119-141.
(1975), pp. 114-121.
Human Centric Computing Languages and Environments, 2002. Proceedings. IEEE 2002 Symposia on (2002), pp. 2-10.
(2002), pp. 1-1.
System Sciences, 1999. HICSS-32. Proceedings of the 32nd Annual Hawaii International Conference on, Vol. Track8 (1999), 7 pp..
Commun. ACM, Vol. 43, No. 12. (December 2000), pp. 45-48.
(2004), pp. 543-550.
Web Intelligence, 2003. WI 2003. Proceedings. IEEE/WIC International Conference on (2003), pp. 637-641.
Machine Learning, Vol. 37, No. 3. (1999), pp. 297-336.
(1996), pp. 289-297.
Lecture Notes in Computer Science, Vol. 1857 (2000), pp. 1-15.
No. AIM-1440. (1993)
(2000), pp. 140-149.
(July 2000), pp. 58-64.
(2002)
(2001)
Web Intelligence, 2003. WI 2003. Proceedings. IEEE/WIC International Conference on (2003), pp. 33-38.
Pattern Analysis and Machine Intelligence, IEEE Transactions on, Vol. 24, No. 3. (2002), pp. 381-396.
ACM Trans. Inter. Tech., Vol. 3, No. 1. (February 2003), pp. 1-27.
(2000), pp. 165-176.
(2003), pp. 535-540.