@inproceedings{ DBLP:conf/lpnmr/ErdemL99,
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
,
  author = {Esra Erdem and Vladimir Lifschitz}
}
,
  ee = {http://link.springer.de/link/service/series/0558/bibs/1730/17300107.htm}
}
,
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings}
}
,
  urln = {lpnmr99.pdf}
}
,
  abstract = {We prove two properties of logic programs under the answer set semantics that may be useful in connection with applications of logic programming to representing causality and to planning. One theorem is about the use of disjunctive rules to express that an atom is exogenous. The other provides an alternative way of expressing that a plan does not include concurrently executed actions.}
}
,
  year = {1999}
}
,
  title = {Transformations of Logic Programs Related to Causality and Planning}
}
,
  pages = {107-116}
}