Bruce D. Parrello Waldo C. Kabat Job-Shop Scheduling Using Automated Reasoning: A Case Study of the Car-Sequencing Problem. 1-42 1986 2 J. Autom. Reasoning 1 db/journals/jar/jar2.html#ParrelloK86