Nina Amla Robert P. Kurshan Kenneth L. McMillan Ricardo Medel Experimental Analysis of Different Techniques for Bounded Model Checking. 34-48 2003 conf/tacas/2003 TACAS http://link.springer.de/link/service/series/0558/bibs/2619/26190034.htm db/conf/tacas/tacas2003.html#AmlaKMM03