Conference paper
Horn clauses and the fixpoint query hierarchy
Ashok K. Chandra, David Harel
SIGMOD/PODS 1982
No abstract available.
Ashok K. Chandra, David Harel
SIGMOD/PODS 1982
Assaf Marron, Lior Limonad, et al.
SEAMS 2020
David Harel, Amir Kantor, et al.
Science of Computer Programming
David Harel
Information Processing Letters