Invariant Computation in a Poset. - DJamel Talem; Bachir Sadi (Order, 2022)