Jerzy Tiuryn, Pawel Urzyczyn. Some Relationships between Logics of Programs and Complexity Theory (Extended Abstract). In 24th Annual Symposium on Foundations of Computer Science, 7-9 November 1983, Tucson, Arizona, USA. pages 180-184, IEEE, 1983.
Abstract is missing.