A Temporal Logic Framework For Assembly Sequence Planning. - KiamTian Scow; Rajagopalan Devanathan (IROS, 1992)