Selected papers that cite this one
- Jan Bergstra, Anna Chmielinska, and Jerzy Tiuryn. Another incompleteness result for Hoare's logic. Information and Control, 52(2):159-171, February 1982.
- Shin-ya Nishizaki. Programs with continuations and linear logic. Science of Computer Programming, 21(2):165-190, October 1993.