%0 Journal Article %1 journals/jair/Patel-SchneiderS03 %A Patel-Schneider, Peter F. %A Sebastiani, Roberto %D 2003 %J J. Artif. Intell. Res. %K dblp %P 351-389 %T A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. %U http://dblp.uni-trier.de/db/journals/jair/jair18.html#Patel-SchneiderS03 %V 18

@article{journals/jair/Patel-SchneiderS03, added-at = {2017-06-21T00:00:00.000+0200}, author = {Patel-Schneider, Peter F. and Sebastiani, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/230d635bb08f42be7b7046754acc6a1b9/dblp}, ee = {https://doi.org/10.1613/jair.1166}, interhash = {174916369acc6fc895988bdf8efd982b}, intrahash = {30d635bb08f42be7b7046754acc6a1b9}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {351-389}, timestamp = {2017-06-22T11:38:55.000+0200}, title = {A New General Method to Generate Random Modal Formulae for Testing Decision Procedures.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair18.html#Patel-SchneiderS03}, volume = 18, year = 2003 }