William McCune, Olga Shumsky
System Description: IVY
CADE, 2000.
@inproceedings{CADE-2000-McCuneS, author = "William McCune and Olga Shumsky", booktitle = "{Proceedings of the 17th International Conference on Automated Deduction}", doi = "10.1007/10721959_30", isbn = "3-540-67664-3", pages = "401--405", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{System Description: IVY}", volume = 1831, year = 2000, }