Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh. Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP. In ICLP. pages 376-390, 1997.
@inproceedings{ShimajiriSI97, title = {Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP}, author = {Yuka Shimajiri and Hirohisa Seki and Hidenori Itoh}, year = {1997}, tags = {rule-based}, researchr = {https://researchr.org/publication/ShimajiriSI97}, cites = {0}, citedby = {0}, pages = {376-390}, booktitle = {ICLP}, }