Making Some Issues of Implicit Knowledge Explicit

Wiebe van der Hoek, John-Jules Ch. Meyer. Making Some Issues of Implicit Knowledge Explicit. Int. J. Found. Comput. Sci., 3(2):193-223, 1992.

Abstract

Abstract is missing.