%0 Conference Paper %1 conf/lics/GaifmanMSV87 %A Gaifman, Haim %A Mairson, Harry G. %A Sagiv, Yehoshua %A Vardi, Moshe Y. %B LICS %D 1987 %I IEEE Computer Society %K dblp %P 106-115 %T Undecidable Optimization Problems for Database Logic Programs %U http://dblp.uni-trier.de/db/conf/lics/lics87.html#GaifmanMSV87

@inproceedings{conf/lics/GaifmanMSV87, added-at = {2015-01-22T00:00:00.000+0100}, author = {Gaifman, Haim and Mairson, Harry G. and Sagiv, Yehoshua and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2aa5df71ef302702c9b86f9740520427b/dblp}, booktitle = {LICS}, crossref = {conf/lics/1987}, interhash = {400607fc33ac9997bf9a574932a62a82}, intrahash = {aa5df71ef302702c9b86f9740520427b}, keywords = {dblp}, pages = {106-115}, publisher = {IEEE Computer Society}, timestamp = {2015-06-20T03:11:58.000+0200}, title = {Undecidable Optimization Problems for Database Logic Programs}, url = {http://dblp.uni-trier.de/db/conf/lics/lics87.html#GaifmanMSV87}, year = 1987 }