"A Goal Specification Language for Automated Discovery and Composition of ..."

Sudhir Agarwal (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics