Deriving Stack Semantics Congruent to Standard Denotational Semantics. - Véronique Royer (STACS, 1985)

Congruent Representation of Standard Denotational Semantics. - Véronique Royer (IFIP Congress, 1986)

Transformations of denotational semantics in semantics directed compiler generation. - Véronique Royer (SIGPLAN Symposium on Compiler Construction, 1986)

Modeling Preference Choices in Incomplete Deductive Databases. - Véronique Royer (IFIP Congress, 1989)

Backward Chaining Evaluation in Stratified Disjunctive Theories. - Véronique Royer (PODS, 1990)

The Semantics of Incomplete Databases as an Expression of Preferences. - Véronique Royer (Theor. Comput. Sci., 1991)

Management of Preferences in Assumption-Based Reasoning. - Claudette Cayrol; Véronique Royer; Claire Saurel (IPMU, 1992)

Deriving Inference Rules for Terminological Logics. - Véronique Royer; Joachim Quantz (JELIA, 1992)

A Preference Semantics for Defaults in Terminological Logics. - Joachim Quantz; Véronique Royer (KR, 1992)

On Intuitionistic Query Answering in Description Bases. - Véronique Royer; Joachim Quantz (CADE, 1994)