Walter Alexandre Carnielli João Rasga Cristina Sernadas Preservation of Interpolation Features by Fibring. 123-151 2008 18 J. Log. Comput. 1 http://dx.doi.org/10.1093/logcom/exm061 db/journals/logcom/logcom18.html#CarnielliRS08