Marco Daniele Paolo Traverso Moshe Y. Vardi Strong Cyclic Planning Revisited. 35-48 1999 conf/ecp/1999 ECP db/conf/ecp/ecp1999.html#DanieleTV99