_id,doi,title
3264,10.1007/978-3-642-25318-8_16,Solving recursion-free Horn clauses over LI+UIF