AC-KBO revisited

Akihisa Yamada 0002, Sarah Winkler, Nao Hirokawa, Aart Middeldorp. AC-KBO revisited. TPLP, 16(2):163-188, 2016. [doi]

Abstract

Abstract is missing.