Christian Bliek Generalizing Partial Order and Dynamic Backtracking. 319-325 1998 AAAI/IAAI db/conf/aaai/aaai98.html#Bliek98