@misc{indiciaecf45d3b26b3f, title = {The Hardness of Finding Linear Ranking Functions for Lasso Programs}, author = {Amir M. Ben-Amram}, year = {2014}, doi = {10.4204/eptcs.161.6}, url = {https://arxiv.org/abs/1408.5955}, note = {Source identifier: 1408.5955} }