L. Chen. Logique typée at DATALOG. In Michel E. Adiba, editor, Troisièmes Journées Bases de Données Avancées, 20-22 Mai 1987, Port-Camargue (Informal Proceedings). pages 111-142, INRIA, 1987.
@inproceedings{Chen87:2,
title = {Logique typée at DATALOG},
author = {L. Chen},
year = {1987},
tags = {Datalog},
researchr = {https://researchr.org/publication/Chen87%3A2},
cites = {0},
citedby = {0},
pages = {111-142},
booktitle = {Troisièmes Journées Bases de Données Avancées, 20-22 Mai 1987, Port-Camargue (Informal Proceedings)},
editor = {Michel E. Adiba},
publisher = {INRIA},
}