Edy Portmann: A Restriction-Centered Theory of Reasoning and Computation to materialize a Web 3.0. Tiny Trans. Comput. Sci. 2 (2013)