Computer Science Logic : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings - Jörg Flum, Mario Rodriguez-Artalejo ((Lecture Notes in Computer Science))