@InProceedings{Kor08, Author = "Korovin, K.", Year = "2008", Title = "{iProver - An Instantiation-based Theorem Prover for First-order Logic (System Description)}", Editor = "Baumgartner, P. and Armando, A. and Dowek, G.", BookTitle = "{Proceedings of the 4th International Joint Conference on Automated Reasoning}", Place = "Sydney, Australia", Series = "Lecture Notes in Artificial Intelligence", Number = "5195", Pages = "292-298", Comment = "" }