Brijesh Dongol Robert M. Hierons Decidability and Complexity for Quiescent Consistency. 116-125 2016 LICS https://doi.org/10.1145/2933575.2933576 https://ieeexplore.ieee.org/document/8576408 https://www.wikidata.org/entity/Q130957562 conf/lics/2016 db/conf/lics/lics2016.html#DongolH16