Alexei Yu. Muravitsky Knowledge Representation as Domains. 1997 7 Journal of Applied Non-Classical Logics 3 db/journals/jancl/jancl7.html#Muravitsky97