TPTP Reference: FL14
@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-Verlag",
Comment = "TPTPRef"
}