Miki Hermann, Laurent Juban, Phokion G. Kolaitis. On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System. In Harald Ganzinger, David A. McAllester, Andrei Voronkov, editors, Logic Programming and Automated Reasoning, 6th International Conference, LPAR 99, Tbilisi, Georgia, September 6-10, 1999, Proceedings. Volume 1705 of Lecture Notes in Computer Science, pages 13-32, Springer, 1999.
@inproceedings{HermannJK99,
title = {On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System},
author = {Miki Hermann and Laurent Juban and Phokion G. Kolaitis},
year = {1999},
researchr = {https://researchr.org/publication/HermannJK99},
cites = {0},
citedby = {0},
pages = {13-32},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference, LPAR 99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
editor = {Harald Ganzinger and David A. McAllester and Andrei Voronkov},
volume = {1705},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-66492-0},
}