@ARTICLE\{IMM1995-01796,
    author       = "M. Fr{\"{a}}nzle and B. von Stengel and A. Wittmüss",
    title        = "A generalized notion of semantic independence",
    year         = "1995",
    pages        = "5-9",
    journal      = "Information Processing Letters",
    volume       = "53",
    editor       = "",
    number       = "",
    publisher    = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1796-full.html",
    abstract     = "For programs represented semantically as relations, a concept of semantic independence is defined that is more general than previously stated notions. It allows for shared input variables and irrelevant interference due to nondeterminism."
}