Request a document copy: Strong equivalence of logic programs under the infinite-valued semantics

all files (of this document) in restricted access
the file(s) you requested
Cancel