Title: Tenth Annual IEEE Symposium on Logic in Computer Science
Subtitle: Proceedings, June 26-29, 1995, San Diego, California (Symposium on Logic in Computer Science//Proceedings)