Recommend this title to your librarian

  • New Foundations for Automation of Default Reasoning