Rule Technologies. Research, Tools, and Applications - Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman (Springer International Publishing, 2016)