Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings / - Flum, Jörg.; Rodríguez Artalejo, M. (Springer,, 1999)