A Termination Test for Logic Programs

Sorry, there's nothing here.

Cite this paper

@inproceedings{Sagiv1991ATT, title={A Termination Test for Logic Programs}, author={Yehoshua Sagiv}, booktitle={ISLP}, year={1991} }