TY  - RPRT
TI  - AC-KBO Revisited
AU  - Akihisa Yamada
AU  - Sarah Winkler
AU  - Nao Hirokawa
AU  - Aart Middeldorp
PY  - 2015
DO  - 10.1017/s1471068415000083
UR  - https://arxiv.org/abs/1403.0406
ID  - 1403.0406
ER  -