Association for Automated Reasoning

From Free net encyclopedia