A stratified semantics of general references embeddable in higher-order logic | IEEE Conference Publication | IEEE Xplore