http://semanticweb.org/id/Automated_Reasoning_Systems_Division_at_ITChttp://semanticweb.org/wiki/Automated_Reasoning_Systems_Division_at_ITC

used by 0: