A new system and methodology for generating random modal formulae. (2001)

by P F Patel-Schneider, R Sebastiani
Venue:In Proc. of IJCAR’01, Vol. 2083 of LNAI,