Journal: Int. J. Found. Comput. Sci.