Tools for datalog boundednessGerd G. HillebrandParis C Kanellakiset al.1991SIGMOD/PODS/ 1991Conference paper