Martin Wehrle Sebastian Kupferschmid Andreas Podelski Useless Actions Are Useful. 388-395 2008 ICAPS conf/aips/2008 db/conf/aips/icaps2008.html#WehrleKP08