TY - RPRT TI - Generalizations of Boxworld AU - Peter Janotta PY - 2012 DO - 10.4204/eptcs.95.13 UR - https://arxiv.org/abs/1210.0618 ID - 1210.0618 ER -