PaperComputable queries for relational data basesAshok K. chandra, David HarelJournal of Computer and System Sciences
PaperProcess logic: Expressiveness, decidability, completenessDavid Harel, Dexter Kozen, et al.Journal of Computer and System Sciences
PaperStructure and complexity of relational queriesAshok Chandra, David HarelJournal of Computer and System Sciences