Job-shop scheduling using automated reasoning: A case study of the car-sequencing problem Bruce D. ParrelloWaldo C. KabatL. Wos OriginalPaper Pages: 1 - 42
Intelligent backtracking in deduction systems by means of extended unification graphs Werner DilgerAgnes Janson OriginalPaper Pages: 43 - 62
Proving termination of normalization functions for conditional expressions Lawrence C. Paulson OriginalPaper Pages: 63 - 74
Schubert's Steamroller problem: Formulations and solutions Mark E. Stickel Problem Corner Pages: 89 - 101