Text this: Toward Practical Query Evaluation for Constraint Databases

  _____     _____    __   _    _    _    _____    
 |__  //   |  ___|| | || | || | || | || |  __ \\  
   / //    | ||__   | '--' || | || | || | |  \ || 
  / //__   | ||__   | .--. || | \\_/ || | |__/ || 
 /_____||  |_____|| |_|| |_||  \____//  |_____//  
 `-----`   `-----`  `-`  `-`    `---`    -----`