Fredholm determinant representation for the partition function of the   six-vertex model
  The six-vertex model with domain wall boundary conditions is considered. A Fredholm determinant representation for the partition function of the model is obtained. The kernel of the corrtesponding integral operator depends on Laguerre polynomials. 
N. A. Slavnov (Steklov Mathematical Institute, Moscow, Russia)