Hervé Gallaire Jack Minker Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977. Advances in Data Base Theory Plemum Press
New York
1978 0-306-40060-X db/conf/adbt/adbt77.html