Computer science logic : 20th international workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 : proceedings / - Ésik, Zoltán, (Springer,, 2006)