@inproceedings{1038490,
    title = "A dynamic-logic-based deductive database manipulation language",
    author = "Cao, Hua and Bell, D.A. and Hull, M.E.C.",
    pages = "35-43",
    publisher = "Ελληνική Εταιρία Επιστημόνων Η/Υ και Πληροφορικής",
    booktitle = "4ο Πανελλήνιο Συνέδριο Πληροφορικής με διεθνή συμμετοχή. Πρακτικά εισηγήσεων.Έρευνα, ανάπτυξη, εφαρμογές.Τόμος 2"
}