| |
| 1997 | ||
|---|---|---|
| 7 | Staffan Bonnier, Tim Heyer: COMPASS: A Comprehensible Assertion Method. TAPSOFT 1997: 803-817 | |
| 1992 | ||
| 6 | Staffan Bonnier, Jonas Wallgren: Logic Programs with Polymorphic Types: A condition for static type checking. CTRS 1992: 438-447 | |
| 1991 | ||
| 5 | Staffan Bonnier: Unification in Incompletely Specified Theories: A Case Study. MFCS 1991: 84-92 | |
| 4 | Staffan Bonnier, Ulf Nilsson, Torbjörn Näslund: A Simple Fixed Point Characterization of Three-Valued Stable Model Semantics. Inf. Process. Lett. 40(2): 73-78 (1991) | |
| 1988 | ||
| 3 | Staffan Bonnier, Jan Maluszynski: Towards a Clean Amalgamation of Logic Programs with External Procedures. ICLP/SLP 1988: 311-326 | |
| 2 | Staffan Bonnier, Jan Maluszynski: Towards a Clean Amalgamation of Logic Programs with External Procedures. PLILP 1988: 20-34 | |
| 1 | Jacek Leszczylowski, Staffan Bonnier, Jan Maluszynski: Logic Programming with External Procedures: Introducing S-Unification. Inf. Process. Lett. 27(3): 159-165 (1988) | |
| 1 | Tim Heyer | [7] |
| 2 | Jacek Leszczylowski | [1] |
| 3 | Jan Maluszynski | [1] [2] [3] |
| 4 | Torbjörn Näslund | [4] |
| 5 | Ulf Nilsson | [4] |
| 6 | Jonas Wallgren | [6] |