DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-25318-8_16,3264,ToHe,Solving recursion-free Horn clauses over LI+UIF