1
Published 1991
Springer Berlin Heidelberg
...The workshop Computer Science Logic '90 was held at the Max-Planck-Haus in Heidelberg, Germany...