The techniques of Pauli-Villars regularization and discrete light-cone quantization are combined to analyze Yukawa theory in a single-fermion truncation. A special form of the Lanczos algorithm is constructed for diagonalization of the indefinite-metric light-cone Hamiltonian.