TY - JOUR AU - Kim, Byunghan AU - Kim, Hyeung-Joon IS - 9 JA - Annals of Pure and Applied Logic PB - Elsevier PY - 2011 TI - Notions around tree property 1 VL - 162 ER -