%0 Journal Article
%1 kifer95flo
%A Kifer, M.
%A Lausen, G.
%A Wu, J.
%C New York, NY, USA
%D 1995
%I ACM Press
%J Journal of the ACM
%K flogic
%N 4
%P 741--843
%R http://doi.acm.org/10.1145/210332.210335
%T Logical foundations of object-oriented and frame-based languages
%V 42
@article{kifer95flo,
added-at = {2007-01-12T14:19:44.000+0100},
address = {New York, NY, USA},
author = {Kifer, M. and Lausen, G. and Wu, J.},
biburl = {https://www.bibsonomy.org/bibtex/204c2f3b64dd630a1f5c4a393851045c0/vzach},
doi = {http://doi.acm.org/10.1145/210332.210335},
interhash = {a14ad8e99a051f8a341b1e2a86c09713},
intrahash = {04c2f3b64dd630a1f5c4a393851045c0},
issn = {0004-5411},
journal = {Journal of the ACM},
keywords = {flogic},
number = 4,
pages = {741--843},
publisher = {ACM Press},
timestamp = {2007-01-12T14:19:44.000+0100},
title = {Logical foundations of object-oriented and frame-based languages},
volume = 42,
year = 1995
}