Maximum Cuts in Extended Natural Deduction Mirjana Borisavljević (2010) Publications de l'Institut Mathématique
Mehrsortige logische Systeme mit unendlich langen Formeln I. Werner Carstengerdes (1971) Archiv für mathematische Logik und Grundlagenforschung
Mehrsortige logische Systeme mit unendlich langen Formeln II. Werner Carstengerdes (1971) Archiv für mathematische Logik und Grundlagenforschung