Logos: A Constraint-Directed Reasoning Shell for Operations Management. - Alex Chao-Chiang Meng; Michael Sullivan (IEEE Expert, 1991)