TY - JOUR T1 - From types to sets by local type definition in higher-order logic JO - Journal of Automated Reasoning PY - 2018/06/04 AU - Kun膷ar O AU - Popescu A ED - DO - DOI: 10.1007/s10817-018-9464-6 PB - Springer Science and Business Media LLC VL - 62 IS - 2 SP - 237 EP - 260 Y2 - 2025/04/04 ER -