@InProceedings{FL14,
    Author       = "Fish, A. and Lisitsa, A.",
    Year         = "2014",
    Title        = "{Detecting Unknots via Equational Reasoning, I:
                    Exploration}",
    Editor       = "Watt, S. and Davenport, J. and Sexton, A. and Sojka, P. and
                    Urban, J.",
    BookTitle    = "{Proceedings of the 7th International Conference on
                    Intelligent Computer Mathematics}",
    Place        = "Coimbra, Portugal",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "8543",
    Pages        = "76-91",
    Publisher    = "Springer",
    Address      = "Berlin, Germany",
    Comment      = "TPTPRef"
}