// Copyright (C) 1998 The New York Group Theory Cooperative
// See magnus/doc/COPYRIGHT for the full notice.
//
// Principal Author: Dmitry Pechkin
//
// Status: in progress
//
// Revision History:
//


Check-in type:		amalgamated product of free groups

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
