Volume 45, Issue 2, August 2010

Special Issue: Selected Papers from the 4th International Joint Conference on Automated Reasoning / Guest Edited by Alessandro Armando, Peter Baumgartner and Gilles Dowek

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