Infinite Linear Sequential Machines. - Hervé Gallaire; Jim Gray 001; Michael A. Harrison; Gabor T. Herman (J. Comput. Syst. Sci., 1968)

Decomposition of Linear Sequential Machines. - Hervé Gallaire; Michael A. Harrison (Math. Syst. Theory, 1969)

Recognition Time of Context-Free Languages by On-Line Turing Machines - Hervé Gallaire (Inf. Control., 1969)

Decomposition of Linear Sequential Machines. II. - Hervé Gallaire (Math. Syst. Theory, 1970)

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)

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

Controlling Knowledge Deduction in a Declarative Approach. - Hervé Gallaire; Claudine Lasserre (IJCAI, 1979)

Impacts of Logic and Databases (Invited Paper) - Hervé Gallaire (VLDB, 1981)

Artificial Intelligence and Industry. - Hervé Gallaire (ECAI, 1982)

Présentation de Loglisp et QLog: aspects contrôle de résolution et évaluation des expressions. - Hervé Gallaire; Alain Grumbach; E. Papon (SPLT, 1982)

Logical Data Bases vs Deductive Data Bases. - Hervé Gallaire (Logic Programming Workshop, 1983)

Panel on the Fifth Generation Project. - Robert A. Kowalski; Hervé Gallaire; Toshio Yokoi; Robert B. K. Dewar (IJCAI, 1983)

A Panel on AI and Databases. - Raymond Reiter; Hervé Gallaire; Jonathan J. King; John Mylopoulos; Bonnie L. Webber (IJCAI, 1983)

PROLOG et Bases de Données. - Hervé Gallaire (SPLT, 1983)

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

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

Logic Programming Development (Abstract). - Hervé Gallaire (GWAI, 1985)

Logic Programming: Further Developments. - Hervé Gallaire (SLP, 1985)

Merging Objects and Logic Programming: Relational Semantics. - Hervé Gallaire (AAAI, 1986)

Bridging the Gap between AI and Databases: Logic Approach. - Hervé Gallaire (DS-2, 1986)

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

Boosting Logic Programming. - Hervé Gallaire (ICLP, 1987)

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

ECRC: A joint industrial research centre. - Hervé Gallaire (Future Gener. Comput. Syst., 1987)

Multiple Reasoning Styles in Logic Programming. - Hervé Gallaire (FGCS, 1988)

Programmation en Logique: faire encore plus. - Hervé Gallaire (SPLT, 1989)

From a laguna to open waters: Another view on the next generations of databases. - Hervé Gallaire (VLDB, 1989)

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)

Finding the Best Route for Logic Programming - Panel Position Paper. - Hervé Gallaire (FGCS, 1992)

Rule-Based Object Coordination. - Jean-Marc Andreoli; Hervé Gallaire; Remo Pareschi (ECOOP Workshop, 1994)

Logic Programming - Past or Future? - Hervé Gallaire (Logic Programming: Formal Methods and Practical Applications, 1995)