"Efficient decision procedures for the integration of planning and formal ..."

Marco Maratea (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics