Selective unification in constraint logic programming

Fred Mesnard, Étienne Payet, Germán Vidal. Selective unification in constraint logic programming. In Wim Vanhoof, Brigitte Pientka, editors, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. pages 115-126, ACM, 2017. [doi]

Abstract

Abstract is missing.