Author: Symposium on Logic in Computer Science (6th 1991 Amsterdam, Netherlands)