Alessandro Armando Peter Baumgartner Gilles Dowek Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings 5195 2008 978-3-540-71069-1 IJCAR Lecture Notes in Computer Science Springer db/conf/cade/ijcar2008.html