A Simple Framework for Theta-Subsumption Testing in Prolog. - Hendrik Blockeel; Svetlana Valevich (ILP (Short Papers), 2016)