TY - RPRT TI - Generating Significant Examples for Conceptual Schema Validation AU - H. A. Proper PY - 2021 UR - https://arxiv.org/abs/2105.09561 ID - 2105.09561 ER -