0. ADBT 1977: Toulouse, France

Introduction

Data Bases Viewed Through Formal Logic

Knowledge Representation and Deduction

Negative Information and Data Bases

Logic and Data Base Integrity

Query Languages and Applications