Computer Science Logic 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers - Dalen, Dirk van; Dalen, Dirk van; Bezem, Marc; Bezem, Marc (Springer Berlin Heidelberg : Imprint: Springer, 1997)