Universal Relations and #P-Completeness - Fournier, Hervé; Malod, Guillaume (Theoretical Computer Science, 2006)