- Maarten de Rijke:
Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann. J. Log. Lang. Inf. 8(4): 476-478 (1999) - Riccardo Rosati
:
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics. J. Log. Lang. Inf. 8(2): 187-203 (1999) - Sun-Joo Shin:
Reconstituting Beta Graphs into an Efficacious System. J. Log. Lang. Inf. 8(3): 273-295 (1999) - Hans-Jörg Tiede:
Basic Simple Type Theory, J. Roger Hindley. J. Log. Lang. Inf. 8(4): 473-476 (1999) - Shuly Wintner, Nissim Francez:
Off-Line Parsability and the Well-Foundedness of Subsumption. J. Log. Lang. Inf. 8(1): 1-16 (1999)
