Ashok K. chandra, David Harel
Journal of Computer and System Sciences
Paper
“do considered od” considered odder than “do considered ob”
Related
Paper
On Folk Theorems
David Harel
CACM
Conference paper
Horn clauses and the fixpoint query hierarchy
Ashok K. Chandra, David Harel
SIGMOD/PODS 1982
David Harel
ACM Transactions on Programming Languages and Systems (TOPLAS)