Automated-Reasoning-First-International-Joint-Conference-IJCAR-2001-Siena-Italy-June-18-23-2001-Proceedings-Lecture-Notes-in-Computer-Science-Band-2083 128,39 EUR*