Stem hyperparamodul$ (all stems)
2 papers:
- CADE-1986-Lim #heuristic
- The Heuristics and Experimental Results of a New Hyperparamodulation: HL-Resolution (YL), pp. 240–253.
- CADE-1980-WosOH #named #refinement
- Hyperparamodulation: A Refinement of Paramodulation (LW, RAO, LJH), pp. 208–219.