An Achilles’ Heel of Term-Resolution

TitleAn Achilles’ Heel of Term-Resolution
Publication TypeConference Paper
Year of Publication2017
AuthorsJanota, M., and J. Marques-Silva
Conference NamePortuguese Conference on Artificial Intelligence
PublisherSpringer