Towards a complete classification of tractability in point algebras for nonlinear time (1999)

by M Broxvall, P Jonsson
Venue:in: Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming (CP-99