| 1998 | ICLP | Specialising the Other Way Arond. | Wim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck |
| 1998 | LOPSTR | Bottom-Up Specialisation of Logic Programs. | Wim Vanhoof, Danny De Schreye, Bern Martens |
| 1997 | LOPSTR | Termination Analysis for Tabled Logic Programming. | Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas |
| 1997 | LOPSTR | Preserving Termination of Tabled Logic Programs While Unfolding. | Michael Leuschel, Bern Martens, Konstantinos Sagonas |
| 1997 | LOPSTR | To Parse or Not To Parse. | Wim Vanhoof, Bern Martens |
| 1996 | LOPSTR | Conjunctive Partial Deduction in Practice. | Jesper Jrgensen, Michael Leuschel, Bern Martens |
| 1995 | ICLP | Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. | Bern Martens, John P. Gallagher |
| 1993 | LOPSTR | Some Further Issues in Finite Unfolding (Abstract). | Bern Martens, Danny De Schreye |
| 1992 | ICLP | A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming. | Bern Martens, Danny De Schreye |
| 1991 | ICML | Integrity Constraints and Interactive Concept-Learning. | Luc De Raedt, Maurice Bruynooghe, Bern Martens |
| 1991 | LPAR | Integrity Verification in Knowledge Bases. | Franois Bry, Rainer Manthey, Bern Martens |