Lee Spector Mary Jo Rattermann Kristen Prentice Ordering Relations in Human and Machine Planning. 80-85 1994 AAAI db/conf/aaai/aaai94-1.html#SpectorRP94