Dichotomy Theorem for the Generalized Unique Satisfiability Problem. - Laurent Juban (FCT, 1999)

On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System. - Miki Hermann; Laurent Juban; Phokion G. Kolaitis (LPAR, 1999)

Sur les problèmes de complexité en déduction automatique : base de Hilbert, modèles uniques et minimaux. - Laurent Juban (1999)

On the complexity of recognizing the Hilbert basis of a linear diophantine system. - Arnaud Durand 001; Miki Hermann; Laurent Juban (Theor. Comput. Sci., 2002)