@book{Wang2016hls, author = {Y\`{i} N. W\'{a}ng / 王轶}, date-added = {2017-12-27 15:16:06 +0000}, date-modified = {2017-12-27 16:23:44 +0000}, month = {September}, publisher = {Zhejiang University Press / 浙江大学出版社}, title = {Hybrid Logic of Spaces / 混合空间逻辑}, year = {2016}}