"Adding Domain Dependent Knowledge into Answer Set Programs for Planning."

Xiumei Jia, Jia-Huai You, Li-Yan Yuan (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics