TY  - RPRT
TI  - Verification, Validation and Integrity of Distributed and Interchanged Rule Based Policies and Contracts in the Semantic Web
AU  - Adrian Paschke
PY  - 2006
UR  - https://arxiv.org/abs/cs/0609119
ID  - cs/0609119
ER  -