A logic approach to the resolution of constraints in timetabling
scientific article; zbMATH DE number 68464
scientific article