Retroactive Ordering for Dynamic Backtracking. - Roie Zivan; Uri Shapen; Moshe Zazone; Amnon Meisels (CP, 2006)

MAC-DBT Revisited. - Roie Zivan; Uri Shapen; Moshe Zazone; Amnon Meisels (CSCLP, 2009)