TY  - RPRT
TI  - A New General Method to Generate Random Modal Formulae for Testing Decision Procedures
AU  - P. F. Patel-Schneider
AU  - R. Sebastiani
PY  - 2011
DO  - 10.1613/jair.1166
UR  - https://arxiv.org/abs/1106.5261
ID  - 1106.5261
ER  -