A Logic Representation of Manufacturing Control. - William I. Bullers; Shimon Y. Nof; Andrew B. Whinston (IJCAI, 1979)