ML-1998-11: Carlos Areces, Dick de Jongh, Eva Hoogland The Interpolation Theorem for IL and ILP 1.Full Text, 2.Abstract. < Back