The computational complexity of abduction