Harry G. Mairson
Haim Gaifman, Harry Mairson, Yehoshua Sagiv, and Moshe Y. Vardi.
Undecidable optimization problems for database logic programs.
Journal of the ACM
, 40(3):683-713, July 1993.
References and Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database