An Overview of OOPS+, An Object-Oriented Database Programming Language. - Els Laenens; Dirk Vermeir (ECOOP, 1988)

A Case Study in Object-Oriented Knowledge-Base Design Using the KIWI System. - Els Laenens; John Snijders; François Staes; Dirk Vermeir (CA(i)SE, 1989)

A Customizable Window-Interface to Object-Oriented Databases. - Els Laenens; François Staes; Dirk Vermeir (ECOOP, 1989)

Browsing à la Carte in Object-Oriented Databases. - Els Laenens; François Staes; Dirk Vermeir (Comput. J., 1989)

A Logical Basis for Object Oriented Programming. - Els Laenens; Dirk Vermeir (JELIA, 1990)

The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming. - Els Laenens; Brigitte Verdonk; Dirk Vermeir (LPNMR, 1990)

Extending Logic Programming. - Els Laenens; Domenico Saccà; Dirk Vermeir (SIGMOD Conference, 1990)

Towards a Flexible User Interface for Knowledge Bases. - François Staes; Els Laenens; Laura Tarantino (VL, 1990)

Advanced knowledge-base environments for large database systems. - Els Laenens; Dirk Vermeir (Knowl. Based Syst., 1990)

A Fixpoint Semantics for Ordered Logic. - Els Laenens; Dirk Vermeir (J. Log. Comput., 1990)

A seamless integration of graphics and dialogues within a logic based object-oriented language. - François Staes; Els Laenens; Dirk Vermeir; Laura Tarantino (J. Vis. Lang. Comput., 1990)

The KIWIS Knowledge Base Management System. - Matts Ahlsén; Alessandro D'Atri; Paul Johannesson; Els Laenens; Nicola Leone; Pasquale Rullo; P. Rossi; François Staes; Laura Tarantino; L. Van Beirendonck; L. Van Cadsand; W. Van Santvliet; et al. (CAiSE, 1991)

Credulous vs. Sceptical Semantics for Ordered Logic Programs. - Dov M. Gabbay; Els Laenens; Dirk Vermeir (KR, 1991)

On the Relationship between Well-Founded and Stable Partial Models. - Els Laenens; Dirk Vermeir (MFDBS, 1991)

Logic Programming Semantics Made Easy. - Els Laenens; Dirk Vermeir; Carlo Zaniolo (ICALP, 1992)

Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models. - Els Laenens; Dirk Vermeir (J. Log. Comput., 1992)

On the Semantics of Negations in Logic Programming. - Els Laenens (ECSQARU, 1993)

A knowledge representation perspective: Logics for paraconsistent reasoning. - Philippe Besnard; Els Laenens (Int. J. Intell. Syst., 1994)

A Universal Fixpoint Semantics for Ordered Logic. - Els Laenens; Dirk Vermeir (Comput. Artif. Intell., 2000)