Computer science logic : 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers / - Dalen, D. van; Bezem, M. (Springer,, 1997)