DOI,IST REx ID,Research Group,Title of publication
10.4204/EPTCS.169.5,1702,ToHe,Generalised interpolation by solving recursion free-horn clauses