(2000)
No. 99-26. (July, 1999)
(1997)
(1995)
(March0 1997)
(1990), pp. 303-311.
(January 2002)
(2003)
Theor. Comput. Sci., Vol. 329, No. 1-3. (2004), pp. 115-158.
J. Autom. Lang. Comb., Vol. 6, No. 2. (May 2001), pp. 145-189.
Inf. Process. Lett., Vol. 89, No. 3. (February 2004), pp. 141-149.
Theor. Comput. Sci., Vol. 42, No. 3. (June 1986), pp. 251-368.
ACM Comput. Surv., Vol. 12, No. 4. (December 1980), pp. 403-417.
Theory of Computing Systems, Vol. 10, No. 1. (December 1976), pp. 289-303.
Commun. ACM, Vol. 13, No. 2. (February 1970), pp. 83-89.
Theory of Computing Systems, Vol. 6, No. 3. (1972), pp. 334-342.
Sci. Comput. Program., Vol. 8, No. 2. (April 1987), pp. 173-202.
Journal of Functional Programming, Vol. 8, No. 6. (1998), pp. 543-572.
(1983)
(1997)
(September 2004)
Computational Intelligence, Vol. 13, No. 3. (1997), pp. 427-438.
AI Magazine, Vol. 17, No. 3. (1996), pp. 55-72.
JLC: Journal of Logic and Computation, Vol. 10 (2000)
(1996), pp. 621-626.
(2000)
(1999)
(1999)
(2003)
(1995), pp. 29-54.
Lecture Notes in Computer Science, Vol. 1540 (1999), pp. 332-347.
(1997), pp. 152-160.
(2001)
JETAI, Vol. 12, No. 3. (2000), pp. 279-305.
Lecture Notes in Computer Science, Vol. 2116 (2001), pp. 87-??.
(2003)
(2000)