@article{FCSC.2008,
 author = {Jun Sun, Yang Liu, Jin Song Dong, Jing Sun},
 title = {{Compositional Encoding for Bounded Model Checking}},
 journal = {{Frontiers of Computer Science in China}},
 month = {December},
 year = {2008}
}