Text this: Non-Redundant Sequential Rules - Theory and Algorithm

  _____      ___      ______    ______   ______   
 /  ___||   / _ \\   /_____//  /_   _// |      \\ 
| // __    / //\ \\  `____ `    -| ||-  |  --  // 
| \\_\ || |  ___  || /___//     _| ||_  |  --  \\ 
 \____//  |_||  |_|| `__ `     /_____// |______// 
  `---`   `-`   `-`  /_//      `-----`  `------`  
                     `-`