KUŽELKA, O. and F. ŽELEZNÝ. Fast Estimation of First Order Clause Coverage through Randomization and Maximum Likelihood. In: Proceedings of the 25th International Conference on Machine Learning. The 25th International Conference on Machine Learning, Helsinki, 2008-07-05/2008-07-09. Madison: Omnipress, 2008. p. 504-511. ISBN 978-1-60558-205-4.