MWeb: A principled framework for modular web rule bases and its semantics (2011)

by A Analyti, G Antoniou, C V Damásio
Venue:ACM Transactions on Computational Logic (TOCL