Set theory for computing From decision procedures to declarative programming with sets by Cantone

Other Authors: “…Omodeo…”