摘要富化未成功（S2/OpenAlex 都没返回摘要），下次运行会自动重试；也可在本地跑
paperbot doctor 检查来源连通性。
DOI 原文 ·
@inproceedings{paperbot4187,
title = {Copyright and reprint permission},
author = {},
booktitle = {LICS},
year = {2017},
doi = {10.1109/lics.2017.8005057}
}