%0 Journal Article
%T Preliminary Notes on Termination and Non-Termination Reasoning
%A Ton Chanh Le
%J Computer Science
%D 2013
%I arXiv
%X In this preliminary note, we will illustrate our ideas on automated mechanisms for termination and non-termination reasoning.
%U http://arxiv.org/abs/1309.3128v1