@inproceedings{ICML-2008-KuzelkaZ,
	author        = "Ondrej Kuzelka and Filip Zelezný",
	booktitle     = "{Proceedings of the 25th International Conference on Machine Learning}",
	doi           = "10.1145/1390156.1390220",
	isbn          = "978-1-60558-205-4",
	pages         = "504--511",
	publisher     = "{ACM}",
	series        = "{ACM International Conference Proceeding Series}",
	title         = "{Fast estimation of first-order clause coverage through randomization and maximum likelihood}",
	volume        = 307,
	year          = 2008,
}