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

@article{Kifer1995, added-at = {2010-01-18T12:17:53.000+0100}, author = {Kifer, M. and Lausen, G. and Wu, J.}, biburl = {https://www.bibsonomy.org/bibtex/2cc840a95a6c82feec555115adc7ff32f/evabl444}, description = {My thesis references}, interhash = {a14ad8e99a051f8a341b1e2a86c09713}, intrahash = {cc840a95a6c82feec555115adc7ff32f}, journal = {Journal of the ACM}, keywords = {imported}, number = 4, owner = {blev}, pages = {741-843}, timestamp = {2010-01-18T12:17:56.000+0100}, title = {Logical Foundations of Object Oriented and Frame Based Languages}, volume = 42, year = 1995 }