Stem kbo$ (all stems)
2 papers:
FLOPS-2014-YamadaWHM #revisited- AC-KBO Revisited (AY, SW, NH, AM), pp. 319–335.
RTA-2007-ZanklM #constraints- Satisfying KBO Constraints (HZ, AM), pp. 389–403.
FLOPS-2014-YamadaWHM #revisited
RTA-2007-ZanklM #constraints