Logic-Based Evaluation of Production Scheduling Rules Using Interpolative Boolean Algebra. - Ognjen Andelic; Pavle D. Milosevic; Ivana T. Dragovic; Zoran Rakicevic (ISD, 2024)