Inclusion problem in algebraic models of programs with constants

Rimma I. Podlovchenko, Dmitry M. Rusakov. Inclusion problem in algebraic models of programs with constants. Programming and Computer Software, 33(3):121-131, 2007. [doi]

Abstract

Abstract is missing.