Co-definite set constraints (1998)

by Witold Charatonik, Andreas Podelski
Venue:Proceedings of the 9th International Conference on Rewriting Techniques and Applications, volume 1379 of LNCS