Finite Kripke models of HA are locally PA. - Erik C. W. Krabbe; Hans Mulder; Albert Visser; Dirk van Dalen (Notre Dame J. Formal Log., 1986)

Business Opportunities in Hypermedia Applications (Panel). - Attilio Stajano; Bruno Cerboni; G. Degli Antoni; Hans Mulder; Gérard Roucairol; Erich J. Neuhold; Eddy Odijk; Pier Carlo Ravasio; Jan Ritchie; Jack Schiff (ECHT, 1992)

Regularity of BPA-Systems is Decidable. - Sjouke Mauw; Hans Mulder (CONCUR, 1994)