Term Rewriting Properties of SOS Axiomatisations. - D. J. B. Bosscher (TACS, 1994)

Regularity for a Large Class of Context-Free Processes is Decidable. - D. J. B. Bosscher; W. O. David Griffioen (ICALP, 1996)

Generating exception structures for legal information serving. - Radboud Winkels; D. J. B. Bosscher; A. W. F. Boer; J. A. Breuker (ICAIL, 1999)