@misc{ABSRED_0.MIZ,
  AUTHOR = {Bancerek, Grzegorz},
  TITLE = {Abstract Reduction Systems and Idea of {K}nuth {B}endix Completion Algorithm},
  SECTION1 = {Reduction and Convertibility},
  SECTION2 = {Examples of an Abstract Reduction System},
  SECTION3 = {Normal Forms},
  SECTION4 = {Divergence and Convergence},
  SECTION5 = {Church-Rosser Property},
  SECTION6 = {Term Rewriting Systems},
  SECTION7 = {Idea of Knuth-Bendix Algorithm},
  ADDRESS1 = {SUM},
  YEAR = {2014},
  MONTH = {March},
  DAY = {31},
  SUMMARY = {The educational material for abstract reduction systems and
  an idea of Knuth Bendix Completion Algorithm, \cite{KlopTRS}.}}
