Searching for "SELP - A System for Studying Strong Equivalence between Logic Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

SELP - a system for studying strong equivalence between logic programs
by Yin Chen, Fangzhen Lin, Lei Li — 2005 — In Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning(LPNMR 2005
…SELP - A System for Studying Strong Equivalence between Logic Programs Yin Chen 1,2 , Fangzhen Lin…
Cited by 7 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB