Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93)