You are here

A Fast Algebraic Web Verification Service

M. Alpuente, Ballis, D., Falaschi, M., Ojeda, P., and Romero, D. O., A Fast Algebraic Web Verification Service, Web Reasoning and Rule Systems, 1st International Conference, RR 2007, vol. 4524. Springer, 2007.