Automated reasoning. 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16--19, 2010. Proceedings
scientific article; zbMATH DE number 5760323