TY  - JOUR
AU  - Kifer, M.
AU  - Lausen, G.
AU  - Wu, J.
T1  - Logical Foundations of Object-Oriented and Frame-Based Languages
JO  - Journal of the ACM
PY  - 1995/
VL  - 42
IS  - 4
SP  - 741
EP  - 843
UR  - 
M3  - 
KW  - frame
KW  - object
KW  - foundations
KW  - oriented
KW  - logical
KW  - languages
KW  - based
L1  - 
SN  - 3-540-41066-X
N1  - 
N1  - 
AB  - 
ER  -