S. Hampe, M. Joswig, und B. Schröter. Journal of Symbolic Computation, (2019)MEGA 2017, Effective Methods in Algebraic Geometry, Nice (France), June 12-16, 2017..
M. Watmough, S. Polovina, und S. Andrews. Proceedings of the 21th International Conference on Conceptual Structures (ICCS 2013), Volume 7735 von Lecture Notes in Computer Science, Seite 231-238. Springer, (2013)
S. Andrews, und S. Polovina. Proceedings of the 19th International Conference on Conceptual Structures (ICCS 2011), Volume 6828 von Lecture Notes in Computer Science, Seite 63-76. Springer, (2011)
S. Andrews. Proceedings of the 19th International Conference on Conceptual Structures (ICCS 2011), Volume 6828 von Lecture Notes in Computer Science, Seite 394-401. Springer, (2011)
S. Andrews. Proceedings of the 19th International Conference on Conceptual Structures (ICCS 2011), Volume 6828 von Lecture Notes in Computer Science, Seite 50-62. Springer, (2011)
S. Andrews, und C. Orphanides. Proceedings of the 18th International Conference on Conceptual Structures (ICCS 2010), Volume 6208 von Lecture Notes in Computer Science, Seite 181-184. Springer, (2010)