Spatial specification and reasoning using grammars: from theory to application. - Liu, Yufeng; Zhang, Kang; Kong, Jun; Zou, Yang; Zeng, Xiaoqin (Spatial Cogn. Comput., 2018)