History

for article: True quantified Boolean formula