Authors: GAIFMAN H MAIRSON H SAGIV Y VARDI MY

Citation: H. Gaifman et al., UNDECIDABLE OPTIMIZATION PROBLEMS FOR DATABASE LOGIC PROGRAMS, Journal of the Association for Computing Machinery, 40(3), 1993, pp. 683-713