@Article{AAI96, author = "Martin Henz and J{\"o}rg W{\"u}rtz", title = {Constraint-based Time Tabling---A Case Study}, journal = {Applied Artificial Intelligence}, volume = 10, number = 5, year = 1996, pages = {439--453} }