Herbrand's theorem, automated reasoning and semantic tableaux | IEEE Conference Publication | IEEE Xplore