A. Butler, “Predicate Logic with Barriers and its Locality Effects”, SuB, vol. 7, pp. 70–80, Aug. 2019.