Planning via Model Checking: A Decision Procedure for <i>AR</i>.

Alessandro Cimatti Fausto Giunchiglia Enrico Giunchiglia Paolo Traverso Planning via Model Checking: A Decision Procedure for <i>AR</i>. 130-142 1997 conf/ecp/1997 ECP db/conf/ecp/ecp1997.html#CimattiGGT97