Title: New Foundations for Automation of Default Reasoning