Amol Dattatraya Mali Plan Merging & Plan Reuse as Satisfiability. 84-96 1999 conf/ecp/1999 ECP db/conf/ecp/ecp1999.html#Mali99