%0 Journal Article %1 kiferetal95 %A Kifer, M. %A Lausen, G. %A Wu, J. %D 1995 %J Journal of the ACM %K %P 741-843 %T Logical Foundations of Object-Oriented and Frame-Based Languages %V 42

@article{kiferetal95, added-at = {2010-03-31T13:59:55.000+0200}, author = {Kifer, M. and Lausen, G. and Wu, J.}, biburl = {https://www.bibsonomy.org/bibtex/226b5c374f76907b7c59b73c68636adcf/cbrewster}, interhash = {a14ad8e99a051f8a341b1e2a86c09713}, intrahash = {26b5c374f76907b7c59b73c68636adcf}, journal = {Journal of the ACM}, keywords = {}, pages = {741-843}, timestamp = {2010-03-31T13:59:55.000+0200}, title = {Logical Foundations of Object-Oriented and Frame-Based Languages}, volume = 42, year = 1995 }