《太平御览》卷四十引《太素真人王君内传》:“ 王屋山 有小天,号曰 小有天 ,周迴一万里,三十六洞天之第一焉。”
唐 杜甫 《秦州杂诗》之十四:“万古 仇池 穴,潜通 小有天。”
宋 赵师侠 《阳华岩》诗:“縈迴栈道泉湍响,疑是僊家小有天。”
《太平御览》卷四十引《茅君内传》:“ 王屋山 之洞,周迴万里,名曰 小有清虚之天。”