IJCAR 2010 (2010 Edinburgh, Scotland)

• Automated reasoning