KSL/Logic: Integration of Logic with Objects

Cite this paper

@inproceedings{Ibrahim1990KSLLogicIO, title={KSL/Logic: Integration of Logic with Objects}, author={Mamdouh H. Ibrahim and Fred A. Cummins}, booktitle={ICCL}, year={1990} }