Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs. - Jean-Yves Girard 001; Jacqueline Vauzeilles (Arch. Math. Log., 1984)

Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy. - Jean-Yves Girard 001; Jacqueline Vauzeilles (J. Symb. Log., 1984)

Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy. - Jean-Yves Girard 001; Jacqueline Vauzeilles (J. Symb. Log., 1984)

Functors and Ordinal Notations. IV: The Howard Ordinal and the Functor ??. - Jacqueline Vauzeilles (J. Symb. Log., 1985)

Cut-elimination and interpolation for Ω-logic. - Jacqueline Vauzeilles (Arch. Math. Log., 1988)

Generating Plans in Linear Logic. - M. Masseron; Christophe Tollu; Jacqueline Vauzeilles (FSTTCS, 1990)

Negation as failure and intuitionistic three-valued logic. - Jacqueline Vauzeilles (FAIR, 1991)

Intuitionistic three-valued logic and logic programming. - Jacqueline Vauzeilles (RAIRO Theor. Informatics Appl., 1991)

Taxonomic Linear Theories. - Christophe Fouqueré; Jacqueline Vauzeilles (ECSQARU, 1993)

Cut Elimination for the Unified Logic. - Jacqueline Vauzeilles (Ann. Pure Appl. Log., 1993)

Generating Plans in Linear Logic I. Actions as Proofs. - M. Masseron; Christophe Tollu; Jacqueline Vauzeilles (Theor. Comput. Sci., 1993)

Linear Logic and Exceptions. - Christophe Fouqueré; Jacqueline Vauzeilles (J. Log. Comput., 1994)

Tree Adjoining Grammars in Noncommutative Linear Logic. - V. Michele Abrusci; Christophe Fouqueré; Jacqueline Vauzeilles (LACL, 1996)

Ordinals I: Basic Notions. - Marie C. Ferbus; Jacqueline Vauzeilles (Ann. Math. Artif. Intell., 1996)

Ordinals II: Some Applications and a Functorial Approach. - Jacqueline Vauzeilles (Ann. Math. Artif. Intell., 1996)

Linear Logic for Taxonomical Networks and Database Updates. - Christophe Fouqueré; Jacqueline Vauzeilles (Linear Logic Tokyo Meeting, 1996)

Tree Adjoining Grammars in a Fragment of the Lambek Calculus. - V. Michele Abrusci; Christophe Fouqueré; Jacqueline Vauzeilles (Comput. Linguistics, 1999)

The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity. - Max I. Kanovich; Jacqueline Vauzeilles (Math. Struct. Comput. Sci., 2001)

Coping Polynomially with Numerous but Identical Elements within Planning Problems. - Max I. Kanovich; Jacqueline Vauzeilles (CSL, 2003)

Strong planning under uncertainty in domains with numerous but identical elements (a generic approach). - Max I. Kanovich; Jacqueline Vauzeilles (Theor. Comput. Sci., 2007)

Linear logic as a tool for planning under temporal uncertainty. - Max I. Kanovich; Jacqueline Vauzeilles (Theor. Comput. Sci., 2011)