Till Mossakowski Different Types of Arrow Between Logical Frameworks. 158-169 1996 conf/icalp/1996 ICALP db/conf/icalp/icalp96.html#Mossakowski96 http://dx.doi.org/10.1007/3-540-61440-0_125