AWARD-2003
Argonne Workshop on Automated Reasoning and Deduction
Link to
AWARD-2003
website.
Related links
Talk by Johan Belinfante,
Associative Relations
(
Mathematica Notebook
award-03
)