@inproceedings{LuPPDP99,
author={Lunjin Lu and John G. Cleary},
title= {An Operational Semantics of Starlog},
booktitle ={Proceedings of the First International ACM SIGPLAN
Conference on Principles and Practice of Declarative Programming
},
pages={293-310},
publisher ={Springe-Verlag},
year={1999},
keywords = {Temporal Logic Programming, Constraint Logic Programming, Operational Semantics},
notes={Lecture Notes in Computer Science 1702},
url = {http://www.oakland.edu/~l2lu/pubs/Starlog.ps}
}