Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP
ICLP, 1997.
@inproceedings{ICLP-1997-ShimajiriSI,
author = "Yuka Shimajiri and Hirohisa Seki and Hidenori Itoh",
booktitle = "{Proceedings of the 14th International Conference on Logic Programming}",
isbn = "0-262-64035-X",
pages = "376--390",
publisher = "{MIT Press}",
title = "{Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP}",
year = 1997,
}