Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming | IEEE Conference Publication | IEEE Xplore