On the Structural Properties of the Set of Fixpoints for Nondeterministic Recursive Definitions

Tsong Yueh Chen. On the Structural Properties of the Set of Fixpoints for Nondeterministic Recursive Definitions. J. Comput. Syst. Sci., 52(1):80-86, 1996.

Abstract

Abstract is missing.