Computer Science Logic: 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991 | lit.salon