Jeffrey H. Kingston. Modelling Timetabling Problems with STTL. In Edmund K. Burke, Wilhelm Erben, editors, Practice and Theory of Automated Timetabling III, Third International Conference, PATAT 2000, Konstanz, Germany, August 16-18, 2000, Selected Papers. Volume 2079 of Lecture Notes in Computer Science, pages 309-321, Springer, 2000. [doi]
Abstract is missing.