丹尼斯·贝切特 亚历山大·贾。迪科夫斯基 计算语言学的逻辑方面——第七届国际会议，LACL 2012，法国南特，2012年7月2日至4日。诉讼 7351 2012 施普林格 计算机科学课堂讲稿 https://doi.org/10.1007/978-3-642-31262-5 978-3-642-31261-8 拉丁美洲和加勒比海 db/conf/lacl/lacl2012.html