On the complexity of abduction | IEEE Conference Publication | IEEE Xplore