History of Variable Elimination