Path-integral approach to the one-dimensional large-U Hubbard model.