The structure and semantics of an object-oriented logic programming language: SCKE.
https://doi.org/10.1007/BF02939524
@article{DBLP:journals/jcst/Jin95,
author = {Zhi Jin},
title = {The structure and semantics of an object-oriented logic programming
language: {SCKE}},
journal = {J. Comput. Sci. Technol.},
volume = {10},
number = {1},
pages = {74--84},
year = {1995},
url = {https://doi.org/10.1007/BF02939524},
doi = {10.1007/BF02939524},
timestamp = {Sun, 28 May 2017 13:21:14 +0200},
biburl = {https://dblp.org/rec/journals/jcst/Jin95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}