D'Silva, V., Haller, L., Kroening, D., & Miné, A. (2012). Satisfiability solvers are static analysers. Springer.
芝加哥风格引文D'Silva, V., L. Haller, D. Kroening, 与 A. Miné. Satisfiability Solvers Are Static Analysers. Springer, 2012.
MLA引文D'Silva, V., et al. Satisfiability Solvers Are Static Analysers. Springer, 2012.
警告：这些引文格式不一定是100％准确.