Le traitement des axiomes récursifs dans les bases de données déductives. - Laurent Vieille (SPLT, 1985)

Recursive Axioms in Deductive Databases: The Query/Subquery Approach. - Laurent Vieille (Expert Database Conf., 1986)

Some Steps Towards a DBMS-based KBMS. - Jorge B. Bocca; Hendrik Decker; Jean-Marie Nicolas 001; Laurent Vieille; Mark Wallace 001 (IFIP Congress, 1986)

A Database-Complete Proof Procedure Based on SLD-Resolution. - Laurent Vieille (ICLP, 1987)

Recursive Query Processing: Fundamental Algorithms and the DedGin System. - Laurent Vieille (Prolog and Databases, 1988)

From QSQ towards QoSaQ: Global Optimization of Recursive Queries. - Laurent Vieille (Expert Database Conf., 1988)

On Deductive Query Evaluation in the DedGin* System. - Alexandre Lefebvre; Laurent Vieille (DOOD, 1989)

Recursive Query Processing: The Power of Logic. - Laurent Vieille (Theor. Comput. Sci., 1989)

The EKS-V1 System. - Laurent Vieille; Petra Bayer; Volker Küchenhoff; Alexandre Lefebvre; Rainer Manthey (LPAR, 1992)

Table-Ronde animée par Nicole Bidoit, Claude Delobel et L. Vieille. - Nicole Bidoit; Claude Delobel; Laurent Vieille (BDA, 1993)

Applications of Deductive Object-Oriented Databases Using DEL. - Oris Friesen; Gilles Gauthier-Villars; Alexandre Lefebvre; Laurent Vieille (Workshop on Programming with Logic Databases (Book), ILPS, 1993)

A Deductive and Object-Oriented Database System: Why and How? - Laurent Vieille (SIGMOD Conference, 1993)

VALIDITY: Applications of a DOOD System. - Oris Friesen; Alexandre Lefebvre; Laurent Vieille (EDBT, 1996)

Deductive Databases: Challenges, Opportunities and Future Directions (Panel Discussion). - Arno Siebes; Shalom Tsur; Jeffrey D. Ullman; Laurent Vieille; Carlo Zaniolo (Logic in Databases, 1996)

From Data Independence to Knowledge Independence: An on-going Story. - Laurent Vieille (VLDB, 1998)

Automatic generation of simplified weakest preconditions for integrity constraint verification - Ahmed Ait-Bouziad; Irène Guessarian; Laurent Vieille (CoRR, 2006)