Login / Signup

SELP - A System for Studying Strong Equivalence Between Logic Programs.

Yin ChenFangzhen LinLei Li
Published in: LPNMR (2005)
Keyphrases