Bernhard Möller: Towards Antichain Algebra. RAMiCS 2015: 344-361