EDUCATIONAL LICENSE

DCVALID is produced by Paritosh K. Pandya at Tata Institute of
Fundamental Research, Mumbai, India. It makes use of the validity
checker for WS1S formulae, MONA.  We are grateful to the designers
of MONA for giving us the permission to use MONA with DCVALID.

A license is granted to you to use DCVALID at no charge for
personal and educational purposes. 

You may not use it for commercial purposes of any kind.

You may not copy the software except for backup or archival purposes.
Any such copy made by you shall be subject to this license and must
contain these license conditions.

You may not make available the software to third parties.  This
applies to all parts and also to any component derived from the
software.


LIMITED WARRANTY - THE SOFTWARE IS PROVIDED "AS IS" WITHOUT WARRANTY
OF ANY KIND, EITHER EXPRESSED OR IMPLIED.  THE SUPPLIERS SHALL NOT BE
LIABLE FOR DAMAGES ARISING OUT OF THE USE OF THE SOFTWARE.


			PERMISSION TO USE MONA

The binaries for MONA1.3 are included in this distribution with the
permission of its designers. MONA1.3 is produced and distributed by
the BRICS project at Aarhus University, Denmark. All the relevant
conditions for its use, enforced by the original developers,
apply. Please refer to the web page on MONA for these. 

Information and documentation on MONA may be obtained on the web at the 
following URL:
	             http://www.brics.dk/~mona/