TY  - BOOK
AU  - Antoni Ligêza
TI  - Logical Foundations for Rule-Based Systems
SN  - 3540324461
PY  - 2014///
CY  - Germany
PB  - Springer
KW  - Logical Foundations for Rule-Based Systems
UR  - http://link.springer.com/book/10.1007/3-540-32446-1
ER  -