Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 proceedings. ISBN 3540659226. Published by Springer in 1999. Publication and catalogue information, links to buy online and reader comments.