1. Composition and evaluation of attribute coupled grammars

   • Robert Giegerich

   OriginalPaper Pages: 355 - 423

2. Resolution on formula-trees

   • Ulf R. Schmerl

   OriginalPaper Pages: 425 - 438

3. Program-substitution and admissibility of rules in algorithmic logic

   • Andrzej Biela

   OriginalPaper Pages: 439 - 473