%0 Journal Article %T From Types to Sets by Local Type Definition in Higher-Order Logic %A Kunčar, Ondřej %A Popescu, Andrei %J Journal of Automated Reasoning %V 62 %N 2 %P 237-260 %@ 0168-7433 %D 2018-06-04 %I Springer Netherlands %~ DeepDyve