Trigger Technique in an Infinite Herbrand Universe | IEEE Conference Publication | IEEE Xplore