Qiang Yang An Algebraic Approach to Conflict Resolution in Planning. 40-45 1990 conf/aaai/1990 AAAI db/conf/aaai/aaai90.html#Yang90 http://www.aaai.org/Library/AAAI/1990/aaai90-006.php