History

for article: Propositional directed acyclic graph