1. AC-KBO revisited*†. Issue 2 (8th June 2015) Authors: YAMADA, AKIHISA; WINKLER, SARAH; HIROKAWA, NAO; MIDDELDORP, AART Journal: Theory and practice of logic programming Issue: Volume 16:Issue 2(2016) Page Start: 163 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗