Conference paper
Horn clauses and the fixpoint query hierarchy
Ashok K. Chandra, David Harel
SIGMOD/PODS 1982
Paper
“do considered od” considered odder than “do considered ob”
Related
Conference paper
Computable queries for relational data bases
Ashok K. Chandra, David Harel
STOC 1979
David Harel, Amir Kantor, et al.
Science of Computer Programming
Conference paper
Process logic: Expressiveness, decidability, completeness
David Harel, Dexter Kozen, et al.
FOCS 1980