Tomás Müller, Roman Barták: Interactive Timetabling. CoRR cs.PL/0109022 (2001)