Computer science logic 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995 ; selected papers (Springer, 1996)