TY - RPRT TI - Meet-completions and ordered domain algebras AU - Rob Egrot AU - Robin Hirsch PY - 2015 UR - https://arxiv.org/abs/1502.06478 ID - 1502.06478 ER -