Reasoning with Rules door Jaap C. Hage & Jaap Hage