Cao, Hua,Bell, D.A.,Hull, M.E.C., A dynamic-logic-based deductive database manipulation language, 35-43, Ελληνική Εταιρία Επιστημόνων Η/Υ και Πληροφορικής,