@Conference{KorVor:RandDB:2005,
 author    = {Korovin, K. and Voronkov, A.},
 title     = {Random Databases and Threshold for Monotone Non-Recursive Datalog},
 booktitle = {Proceedings of the 30th International Symposium on
              Mathematical Foundations of Computer Science (MFCS'05)},
 pages     = {591--602},
 series    = {Lecture Notes in Computer Science},
 volume    = {3618},
 publisher = {Springer},
 year      = {2005}
}