18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.