Terminator Research Project - Hoping to Prove Some Programs Terminateresearch.microsoft.com3 pointsapgwoz18 years ago