Volume 36, Issue 4, April 2006

Empirically Successful Automated Reasoning: Systems Issue

ISSN: 0168-7433 (Print) 1573-0670 (Online)