_id,doi,title
1702,10.4204/EPTCS.169.5,Generalised interpolation by solving recursion free-horn clauses