Baoqiu Cui Yifei Dong Xiaoqun Du K. Narayan Kumar C. R. Ramakrishnan I. V. Ramakrishnan Abhik Roychoudhury Scott A. Smolka David Scott Warren Logic Programming and Model Checking. 1-20 http://link.springer.de/link/service/series/0558/bibs/1490/14900001.htm 1998 conf/plilp/1998 PLILP/ALP db/conf/plilp/plilp98.html#CuiDDKRRRSW98