Giovanna D'Agostino Characterizing Interpolation Pairs in Infinitary Graded Logics. 173-193 2003 13 J. Log. Comput. 2 http://www3.oup.co.uk/logcom/hdb/Volume_13/Issue_02/130173.sgm.abs.html db/journals/logcom/logcom13.html#DAgostino03