Roscoe, P., & Pragyesh. (2009). Local search in model checking.
芝加哥风格引文Roscoe, P., 与 Pragyesh. Local Search in Model Checking. 2009.
MLA引文Roscoe, P., 与 Pragyesh. Local Search in Model Checking. 2009.
警告：这些引文格式不一定是100％准确.
APA引文