Ashok K. chandra, David Harel
Journal of Computer and System Sciences
Paper
“do considered od” considered odder than “do considered ob”
Related
David Harel
ACM Transactions on Programming Languages and Systems (TOPLAS)
Paper
On Folk Theorems
David Harel
CACM
Conference paper
Structure and complexity of relational queries
Ashok K. Chandra, David Harel
FOCS 1980