Patel-Schneider, Peter F. and Sebastiani, Roberto (2003) A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. UNSPECIFIED.