Removing algebraic data types from constrained Horn clauses using difference predicates. (English) Zbl 07614508
Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 83-102 (2020).
MSC:
68V15