Characterization of strongly equivalent logic programs in intermediate logics

Authors
Publication date 2003
Journal Theory and Practice of Logic Programming
Pages (from-to) 259-270
Number of pages 12
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Permalink to this page
Back