Taming arrow logic - Marx, Maarten; Mikulás, Szabolcs; Németi, István (Inst. for Logic, Language and Computation (ILLC), 1994)