1
Logical Foundations of Computer Science [E-Book] : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings /