
@copyright{} The Research Foundation of SUNY, 1986, 1993-2002; ECRC,
Germany, 1990; and by the individual contributors.

XSB is distributed under the terms of GNU LIBRARY GENERAL PUBLIC
LICENSE reproduced in the main directory of the XSB distribution and
available through @uref{http://xsb.sourceforge.net}.

This document was produced by the XSBDOC system, which in addition to
the copyrights above, @copyright{} 1996-99 Manuel Hermenegildo/The
CLIP Group.
