Min-domain retroactive ordering for asynchronous backtracking
scientific article; zbMATH DE number 5607553
scientific article