A Theory for the Representation of Knowledge.

Franz Guenthner Hubert Lehmann Wolfgang Schönfeld A Theory for the Representation of Knowledge. 39-56 1986 30 IBM Journal of Research and Development 1 db/journals/ibmrd/ibmrd30.html#GuenthnerLS86