Butler A. Predicate Logic with Barriers and its Locality Effects. SuB [Internet]. 2019 Aug. 20 [cited 2024 Apr. 25];7:70-8. Available from: https://ojs.ub.uni-konstanz.de/sub/index.php/sub/article/view/792