Rule-Based Reasoning, Programming, and Applications - Bassiliades, Nick (Springer Berlin Heidelberg, 2011)