Developing finite domain constraints – a data model approach (2000)

by K Hui, P Gray
Venue:In Proceedings of Computation Logic 2000 Conference