Disambiguation evidence for Conference on Automated Deduction via surface form

"International Conference on Automated Deduction Association"

As object (1)

Triples where some other subject referred to this entity as "International Conference on Automated Deduction Association".