Towards a Clean Amalgamation of Logic Programs with External Procedures. - Staffan Bonnier; Jan Maluszynski (ICLP/SLP, 1988)

Logic Programming with External Procedures: Introducing S-Unification. - Jacek Leszczylowski; Staffan Bonnier; Jan Maluszynski (Inf. Process. Lett., 1988)

Unification in Incompletely Specified Theories: A Case Study. - Staffan Bonnier (MFCS, 1991)

A Simple Fixed Point Characterization of Three-Valued Stable Model Semantics. - Staffan Bonnier; Ulf Nilsson; Torbjörn Näslund (Inf. Process. Lett., 1991)

Logic Programs with Polymorphic Types: A condition for static type checking. - Staffan Bonnier; Jonas Wallgren (CTRS, 1992)

COMPASS: A Comprehensible Assertion Method. - Staffan Bonnier; Tim Heyer (TAPSOFT, 1997)

On the performance of commodity hardware for low latency and low jitter packet processing. - Charalampos Stylianopoulos; Magnus Almgren; Olaf Landsiedel; Marina Papatriantafilou; Trevor Neish; Linus Gillander; Bengt Johansson; Staffan Bonnier (DEBS, 2020)