History

for article: Stable model semantics