Efficiency issues in the kbmag procedure - Swan, Jerry (The journal of logic and algebraic programming, 2011)