| 0 | -- | 0 | Frédéric Lang, Pierre Lescanne. On Strong Normalization of Explicit Substitution Calculi (Short Note) |
| 0 | -- | 0 | Sofie Verbaeten, Annalisa Bossi. Composing Complete and Partial Knowledge |
| 0 | -- | 0 | Kostas Stathis. A Game-based Architecture for Developing Interactive Components in Computational Logic |
| 0 | -- | 0 | Lee Naish, Leon Sterling. Stepwise Enhancement and Higher-Order Programming in Prolog |
| 0 | -- | 0 | Juliana Küster Filipe. Fundamentals of Module Logic for Distributed Object Systems |
| 0 | -- | 0 | Antonio Brogi, Patricia M. Hill. Special Issue on Logical Formalisms for Program Composition - Editorial |
| 0 | -- | 0 | Joëlle Despeyroux, Pierre Leleu. Metatheoretic Results for a Modal lambda-Calculus |