Undoing the effects of action sequences. Eiter, T., Erdem, E., & Faber, W. Journal of Applied Logic, 6(3):380–415, Elsevier, 2008.
bibtex   
@article{eiter2008undoing,
  title={Undoing the effects of action sequences},
  author={Eiter, Thomas and Erdem, Esra and Faber, Wolfgang},
  journal={Journal of Applied Logic},
  volume={6},
  number={3},
  pages={380--415},
  year={2008},
  publisher={Elsevier}
}

Downloads: 0