@inproceedings{ vassos08localeffect,
  author = {Vassos, Stavros and Gerhard, Lakemeyer and Levesque, Hector},
  title = {First-Order Strong Progression for Local-Effect Basic Action Theories},
  url = {vassos-lakemeyer-levesque08localeffect.pdf},
  booktitle = {Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR-08)},
  address = {Sydney, Australia},
  month = {September 16--19},
  note = {To appear.},
  year = {2008}
}