  Weyl theory for a non-classical system depending rationally on the spectral
parameter is treated. Borg-Marchenko-type uniqueness theorem is proved. The
solution of the inverse problem is constructed. An application to sine-Gordon
equation in laboratory coordinates is given.
