Objects with Logic

Cite this paper

@inproceedings{Ibrahim1990ObjectsWL, title={Objects with Logic}, author={Mamdouh H. Ibrahim and Fred A. Cummins}, booktitle={ACM Conference on Computer Science}, year={1990} }