exists-Universal termination of logic programs

Cite this paper

@article{Ruggieri2001existsUniversalTO, title={exists-Universal termination of logic programs}, author={Salvatore Ruggieri}, journal={Theor. Comput. Sci.}, year={2001}, volume={254}, pages={273-296} }