Natural Language Question Answering and Automatic Deduction in the System Syntex. - Jean-Marie Nicolas 001; Jean-Claude Syre (IFIP Congress, 1974)

An Overview and Introduction to Logic and Data Bases. - Hervé Gallaire; Jack Minker; Jean-Marie Nicolas 001 (Logic and Data Bases, 1977)

Data Base: Theory vs. Interpretation. - Jean-Marie Nicolas 001; Hervé Gallaire (Logic and Data Bases, 1977)

Integrity Checking in Deductive Data Bases. - Jean-Marie Nicolas 001; Kioumars Yazdanian (Logic and Data Bases, 1977)

The Language of SYNTEX-2, an Implemented Relational-like DBMS. - Robert Demolombe; Michel Lemaître; Jean-Marie Nicolas 001 (Jerusalem Conference on Information Technology, 1978)

First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies. - Jean-Marie Nicolas 001 (SIGMOD Conference, 1978)

Mutual Dependencies and Some Results on Undecomposable Relations. - Jean-Marie Nicolas 001 (VLDB, 1978)

Background for Advances in Data Base Theory. - Hervé Gallaire; Jack Minker; Jean-Marie Nicolas 001 (Advances in Data Base Theory, 1979)

Logic for Improving Integrity Checking in Relational Data Bases. - Jean-Marie Nicolas 001 (Acta Informatica, 1982)

An Outline of BDGEN: A Deductive DBMS. - Jean-Marie Nicolas 001; Kioumars Yazdanian (IFIP Congress, 1983)

Bases de données logiques et programmation en logique. - Jean-Marie Nicolas 001 (SPLT, 1983)

On recursive axioms in deductive databases. - Jack Minker; Jean-Marie Nicolas 001 (Inf. Syst., 1983)

Logic and Databases: A Deductive Approach. - Hervé Gallaire; Jack Minker; Jean-Marie Nicolas 001 (ACM Comput. Surv., 1984)

The Role of Logic for Data and Knowledge Bases: A Brief Summary. - Wolfgang Bibel; Jean-Marie Nicolas 001 (Foundations of Knowledge Base Management (Xania), 1985)

How to Look at Deductive Databases. - Hervé Gallaire; Jean-Marie Nicolas 001 (Foundations of Knowledge Base Management (Xania), 1985)

Logic Databases. - Jean-Marie Nicolas 001 (Wissensbasierte Systeme, 1985)

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

Logic and databases: a response. - Hervé Gallaire; Jack Minker; Jean-Marie Nicolas 001 (SIGACT News, 1986)

Sur l'intégration des technologies IA et BD. - Jean-Marie Nicolas 001 (SPLT, 1987)

Logic Approach to Knowledge and Data Bases at ECRC. - Hervé Gallaire; Jean-Marie Nicolas 001 (IEEE Data Eng. Bull., 1987)

Can We Reach a Uniform Paradigm for Deductive Query Evaluation? - Rainer Manthey; Hervé Gallaire; Jean-Marie Nicolas 001 (Wissensbasierte Systeme, 1989)

Logic and Databases: An Assessment. - Hervé Gallaire; Jean-Marie Nicolas 001 (ICDT, 1990)