History

for article: Abductive logic programming