<?xml version="1.0" encoding="UTF-8"?>

<!-- This is an automatically generated file. -->
<TitlePage>
  <Title>
    kbmag
  </Title>
  <Subtitle>
    Knuth-Bendix on Monoids and Automatic Groups
  </Subtitle>
  <Version>
    1.5.11
  </Version>
  <Author>
    Derek Holt<Alt Only="LaTeX"><Br/></Alt>
<Address>
Mathematics Institute<Br/>
University of Warwick<Br/>
Coventry CV4 7AL<Br/>
UK<Br/>
</Address>
<Email>D.F.Holt@warwick.ac.uk</Email>
<Homepage>https://homepages.warwick.ac.uk/staff/D.F.Holt/</Homepage>

  </Author>
  <Date>
    3 January 2023
  </Date>
  <Abstract>
    The &KBMAG; package is a &GAP; interface to some `C' programs for running the Knuth-Bendix completion program on finite semigroup, monoid or group presentations, and for attempting to compute  automatic structures of finitely presented groups.<P/>Bug reports, comments, suggestions for additional features, and offers to implement some of these, will all be very welcome.<P/>Please submit any issues at <URL>https://github.com/gap-packages/kbmag/issues/</URL>.<P/>
  </Abstract>
  <Copyright>
    ©right; 1997 by Derek Holt<P/>

This package may be distributed under the terms and conditions of the GNU Public License Version 2.
  </Copyright>
  <Acknowledgements>
    This documentation was prepared with the &GAPDoc; <Cite Key='GAPDoc'/> and &AutoDoc; <Cite Key='AutoDoc'/> packages.<P/>
The procedure used to produce new releases uses the package <Package>GitHubPagesForGAP</Package> <Cite Key='GitHubPagesForGAP' /> and the package <Package>ReleaseTools</Package>.<P/>
  </Acknowledgements>
  </TitlePage>