Staffan Bonnier

Towards a Clean Amalgamation of Logic Programs with External Procedures

Jan Maluszynski, Staffan Bonnier, J. Maluszynski, 1988, PLILP.

Unification in Incompletely Specified Theories: A Case Study

Staffan Bonnier, 1991, MFCS.

COMPASS: A Comprehensible Assertion Method

Staffan Bonnier, Tim Heyer, S. Bonnier, 1997, TAPSOFT.

Logic Programming with External Procedures: Introducing S-Unification

Jan Maluszynski, Staffan Bonnier, Jacek Leszczylowski, 1988, Inf. Process. Lett..

A Simple Fixed Point Characterization of Three-Valued Stable Model Semantics

Ulf Nilsson, Staffan Bonnier, Torbjörn Näslund, 1991, Inf. Process. Lett..

Logic programs with external procedures

Ulf Nilsson, Jan Maluszynski, Johan Boye, 1993 .

Logic Programs with Polymorphic Types: A condition for static type checking

Staffan Bonnier, Jonas Wallgren, 1992, CTRS.

A formal basis for horn clause logic with external polymorphic functions

Staffan Bonnier, S. Bonnier, 1992 .