/*
 *   $Id: FindFiniteRewritingSystem,v 1.1 1998/02/18 19:35:05 alex Exp $
 */
 
// Copyright (C) 1998 The New York Group Theory Cooperative
// See magnus/doc/COPYRIGHT for the full notice.
//
// Principal Author: Dmitry Bormotov
//
// Status: in progress
//
// Revision History:
//


Check-in type:		metric small cancellation group

Objects highlighted:	group G 

Name in the menu:	Find a finite rewriting system for G

Problem type:		problem object

Help file:		KBProblem.help


			     Algorithms:


1. For the use of this problem
