@misc{indiciaea8ace674d8a5,
  title = {A New General Method to Generate Random Modal Formulae for Testing Decision Procedures},
  author = {P. F. Patel-Schneider and R. Sebastiani},
  year = {2011},
  doi = {10.1613/jair.1166},
  url = {https://arxiv.org/abs/1106.5261},
  note = {Source identifier: 1106.5261}
}