This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 112c. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
In 22.214.171.124 [over.match.class.deduct] paragraph 3 we read:
The arguments of a template A are said to be deducible from a type T if, given a class templatetemplate <typename> class AA;
with a single partial specialization whose template parameter list is that of A and whose template argument list is a specialization of A with the template argument list of A (126.96.36.199 [temp.dep.type]), AA<T> matches the partial specialization.
The relationship between A, AA and its
partial specialization, and the argument list of