Alain Terlutte:
Cyclic Rational Transductions and Polynomials of Rational Functions.
261-271
Jozef Vyskoc:
Corrigendum: An O(n^lgk . 2^n/2) Time and O(k . 2^n/2) Space Algorithm for Certain NP-Complete Problems.
273-274, (see: TCS 51: 221-227 (1987))
Martín Abadi:
Corrigendum: The Power of Temporal Proofs.
275, (see: TCS 65: 35-83 (1989))