Pierluigi Minari Analytic combinatory calculi and the elimination of transitivity. 159-192 2004 43 Arch. Math. Log. 2 http://dx.doi.org/10.1007/s00153-003-0203-1 db/journals/aml/aml43.html#Minari04