Tomasz Kowalski PDL Has Interpolation. 933-946 2002 67 J. Symb. Log. 3 db/journals/jsyml/jsyml67.html#Kowalski02