Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals

@inproceedings{Bagherzadeh2004LayeredCR,
  title={Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals},
  author={M. Jamshid Bagherzadeh and S. Arun-Kumar},
  booktitle={LPAR},
  year={2004}
}