Object-Oriented Computations in Logic Programming

@inproceedings{oolp-ecoop94,
   acm = {646152.679515},
   author = {Omicini, Andrea and Natali, Antonio},
   booktitle = {Object-Oriented Programming},
   dblp = {conf/ecoop/OmiciniN94},
   doi = {10.1007/BFb0052184},
   editor = {Tokoro, Mario and Pareschi, Remo},
   isbn = {3-540-58202-9},
   issn = {0302-9743},
   keywords = {Integration of object-oriented and logic paradigms, state configuration, partially configured instances, abduction, meta-level constraints},
   note = {8th European Conference (ECOOP'94), Bologna, Italy, 4--8~} # jul # {~1994. Proceedings},
   pages = {194--212},
   publisher = {Springer-Verlag},
   scopus = {2-s2.0-21344495678},
   series = {Lecture Notes in Computer Science},
   title = {Object-Oriented Computations in Logic Programming},
   url = {http://link.springer.com/chapter/10.1007/BFb0052184},
   volume = 821,
   year = 1994
}