Modeling Variations of First-Order Horn Abduction in Answer Set Programming | Read Paper on Bytez