Corrigendum to: ``Min-domain retroactive ordering for asynchronous backtracking

From MaRDI portal
Publication:487638