Uniform and Non Uniform Strategies for Tableaux Calculi for Modal Logics

@article{Demri1995UniformAN,
  title={Uniform and Non Uniform Strategies for Tableaux Calculi for Modal Logics},
  author={St{\'e}phane Demri},
  journal={Journal of Applied Non-Classical Logics},
  year={1995},
  volume={5},
  pages={77-96}
}