Computer Science Logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers - Dirk Dalen, Marc Bezem ((Lecture Notes in Computer Science))