@inproceedings{ vassos08localeffect,
  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)}
}
,
  author = {Vassos, Stavros and Gerhard, Lakemeyer and Levesque, Hector}
}
,
  year = {2008}
}
,
  month = {September 16--19}
}
,
  note = {To appear.}
}
,
  address = {Sydney, Australia}
}