Conservative Extensions, Interpretations Between Theories and All That!

T. S. E. Maibaum Conservative Extensions, Interpretations Between Theories and All That! 40-66 1997 conf/tapsoft/1997 TAPSOFT db/conf/tapsoft/tapsoft97.html#Maibaum97 http://dx.doi.org/10.1007/BFb0030588