Grigori Mints. Existential Instantiation and Strong Normalization. In Sergei I. Adian, Anil Nerode, editors, Logical Foundations of Computer Science, 4th International Symposium, LFCS 97, Yaroslavl, Russia, July 6-12, 1997, Proceedings. Volume 1234 of Lecture Notes in Computer Science, pages 258-265, Springer, 1997.
No reviews for this publication, yet.