@misc{indiciae3b085acee571, title = {A Devil's Advocate against Termination of Direct Recursion}, author = {Thom Fruehwirth}, year = {2017}, url = {https://arxiv.org/abs/1701.02682}, note = {Source identifier: 1701.02682} }