A deductive and Object-Oriented Approach to a Complex Scheduling Problem. - Yves Caseau; Pierre-Yves Guillo; Eric Levenez (J. Intell. Inf. Syst., 1995)