Gutmann - Proceedings of the 8th International Conference on Coordinat - X555z

Schreck - Automated Deduction in Geometry 8th International Workshop - X555z

Automated Deduction CADE-20: 20th International Conference on Automated Deductio

Olivetti - Automated Reasoning 8th International Joint Conference I - X555z

Wang - Automated Deduction in Geometry International Workshop on Aut - X555z

McCune - Automated Deduction - CADE-14 14th International Conference - X555z

Automated Deduction - CADE-20 : 20th International Conference on

WSDM 15 Conference C - WSDM 15 8th ACM International Conference on Web - X555z