Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura. Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs. In Laura Kovács, Temur Kutsia, editors, 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013. Volume 15 of EPiC Series, pages 81-92, EasyChair, 2013. [doi]
Abstract is missing.