The IJCAR ATP system competition
scientific article; zbMATH DE number 1784333