Robert Giegerich Carsten Meyer Algebraic Dynamic Programming. 349-364 2002 conf/amast/2002 AMAST http://link.springer.de/link/service/series/0558/bibs/2422/24220349.htm db/conf/amast/amast2002.html#GiegerichM02