BibTeX记录conf/cade/BozzanoBCJRSS05
@进行中{DBLP:conf/cade/BozzanoBCJRSS05， author={Marco Bozzano和 罗伯托·布鲁托梅索和 亚历山德罗·西马蒂和 汤米·A·琼蒂拉和 Peter van Rossum和 斯蒂芬·舒尔茨和 罗伯托·塞巴斯蒂亚尼（Roberto Sebastiani）， 编辑＝{Robert Nieuwenhuis}， title={MathSAT 3系统}， booktitle={自动扣除-CADE-20，第20届国际自动扣除大会 扣除，爱沙尼亚塔林，2005年7月22日至27日，诉讼}， series={计算机科学讲稿}， 体积={3632}， pages＝{315-321}， publisher={Springer}， 年份={2005}， url={ https://doi.org/10.1007/11532231 \_23}, doi={10.1007/11532231\_23}， timestamp={2022年10月2日，星期日15:55:55+0200}， biburl={ https://dblp.org/rec/conf/cade/BozzanoBCJRSS05.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
