Journal of Logic, Language and Information - researchr journal

researchr

You are not signed in
Sign in
Sign up

253

--

340

Nicola Olivetti, Lea Terracini. N-Prolog and equivalence of logic programs

runs on WebDSL