Automated reasoning: 6th international joint conference ; proceedings by IJCAR, Manchester fromLecture Notes in Computer Science 0 Type: Book
