Automated-Reasoning-4th-International-Joint-Conference-IJCAR-2008-Sydney-Australia-August-12-15-2008-Proceedings-Lecture-Notes-in-Notes-in-Computer-Science-5195-Band-5195 106,99 EUR*