8th International Conference on Automated Deduction: Oxford, England, July ... - Google Books

http://books.google.de/books?id=-exQAAAAMAAJ&q=%22Sleepsort%22&dq=%22Sleepsort%22&hl=de&ei=d7SpTou4BeSj4gS608kb&sa=X&oi=book_res

Keine Beschreibung vorhanden.