BibTeX记录日志/jar/BozzanoBCJRSS05
@文章{DBLP:journals/jar/BozzanoBCJRSS05， author={Marco Bozzano和 罗伯托·布鲁托梅索和 亚历山德罗·西马蒂和 汤米·A·琼蒂拉和 Peter van Rossum和 斯蒂芬·舒尔茨和 罗伯托·塞巴斯蒂亚尼（Roberto Sebastiani）， title={MathSAT:{SAT}与数学决策程序}的紧密结合， 日志={J.自动原因}， 体积＝{35}， 数字={1-3}， 页数={265--293}， 年份={2005}， url={ https://doi.org/10.1007/s10817-005-9004-z }, doi＝{10.1007/S10817-005-9004-Z}， timestamp={2021年10月14日星期四09:28:14+0200}， biburl={ https://dblp.org/rec/journals/jar/BozzanoBCJRSS05.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
