Knuth-Bendix Project for Automated Reasoning course at MATF Belgrade. Implementation of Knut-Bendix Completion Algorithm (C++). Authors: Ljubica Acimovic (bubirose)