"Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings" - читать интересную книгу автора (Boris Konev, Frank Wolter)