A Timely Resolution

Zohar Manna
LICS (1986), pp. 176-186

Abstract