Journal: Math. Found. Comput.