TY - DATA AU - Christoph Benzmuller AU - Francesco Ricca AU - Xavier Parent TI - Rules and Reasoning SN - 9783319999067 KW - Computer Science KW - Programming Techniques UR - https://link.springer.com/openurl?genre=book&isbn=978-3-319-99906-7 ER -