Dirk van Dalen Marc Bezem Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers CSL Lecture Notes in Computer Science 1258 Springer 1997 3-540-63172-0 db/conf/csl/csl96.html