Author:
Dundua Besik,Kutsia Temur,Marin Mircea,Pau Cleo
Publisher
Springer International Publishing
Reference27 articles.
1. Apt, K.R.: Logic programming. In: van Leeuwen [25], pp. 493–574
2. Apt, K.R., Bol, R.N.: Logic programming and negation: a survey. J. Log. Program. 19(20), 9–71 (1994)
3. Belkhir, W., Giorgetti, A., Lenczner, M.: A symbolic transformation language and its application to a multiscale method. J. Symb. Comput. 65, 49–78 (2014)
4. Dershowitz, N., Manna, Z.: Proving termination with multiset orderings. Commun. ACM 22(8), 465–476 (1979)
5. Dundua, B., Florido, M., Kutsia, T., Marin, M.: CLP(H): constraint logic programming for hedges. TPLP 16(2), 141–162 (2016)