Jacques Calmet, Karsten Homann, Indra A. Tjandra. Unified Domains and Abstract Computational Structures. In Jacques Calmet, John A. Campbell, editors, Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings. Volume 737 of Lecture Notes in Computer Science, pages 166-177, Springer, 1992.
Abstract is missing.