EclipseWorld 2006
TPTP documents are provided under the Eclipse Foundation Software User Agreement.
Copyright © 2006 IBM Corporation, Intel
Corporation, Scapa Technologies and others. This document and
the accompanying materials are made available under the terms of the
Eclipse Public License v1.0 which is available
at
http://www.eclipse.org/legal/epl-v10.html