Conference paper
Computable queries for relational data bases
Ashok K. Chandra, David Harel
STOC 1979
Ashok K. Chandra, David Harel
STOC 1979
David Harel
POPL 1979
Ashok Chandra, David Harel
Journal of Computer and System Sciences
Ashok K. Chandra, David Harel
FOCS 1980