TY - RPRT TI - First-Order Sketch Conditions and Constraints -- A Category Independent Approach AU - Uwe Wolter PY - 2021 UR - https://arxiv.org/abs/2103.07558 ID - 2103.07558 ER -