Reasoning with Rules by Jaap C. Hage & Jaap Hage