Separate polyvariant binding-time analysis (1993)

by Charles Consel, Pierre Jouvelot