Login / Signup

Verifying the Equivalence of Logic Programs in the Disjunctive Case.

Emilia OikarinenTomi Janhunen
Published in: LPNMR (2004)
Keyphrases