Author: Symposium on Logic in Computer Science (5th 1990 Philadelphia, Pa.)