Automated Reasoning: Past Story and New Trends.

Andrei Voronkov

Browse the full IJCAI paper archive.