Pure and O-Substitution

Andreas Maletti. Pure and O-Substitution. Int. J. Found. Comput. Sci., 18(4):829-845, 2007. [doi]

Abstract

Abstract is missing.