1. On computable numbers, with an application to the Entscheidungsproblem;Turing;Proc. Lond. Math. Soc.,1937
2. On computable numbers, with an application to the Entscheidungsproblem: a correction;Turing;Proc. Lond. Math. Soc.,1937
3. Proving program termination;Cook;Commun. ACM,2011
4. Termination analysis by learning terminating programs;Heizmann,2014
5. Termination detection in logic programs using argument sizes;Sohn,1991