The semantics of reflected proof | IEEE Conference Publication | IEEE Xplore