Xylella fastidiosa (Xf) causes wilt disease in plants and is responsible for major economic and crop losses globally. Owing to the public importance of this phytopathogen we embarked on a comparative… Expand

In the literature, unification is often treated as a simple and straightforward matter, even though it is recognized as a deep and fundamental concept.Expand

Anti-unification guarantees the existence of a term which is an explicit representation of the most specific generalization of a collection of terms.Expand

In this paper, we show how one can design a querying system for sets of linear constraints by using basic concepts from logic programming and symbolic computation, as well as algorithms from linear programming and computational geometry.Expand

We develop a natural canonical form for the representation of linear arithmetic constraints and we design polynomial time algorithms for deciding solvability and generating the canonical form.Expand