History

for article: Binary decision diagram