Characterization of strongly equivalent logic programs in intermediate logics
| Authors | |
|---|---|
| Publication date | 2001 |
| Series | PP series ILLC, PP-2001-09 |
| Publisher | Amsterdam: Institute for Logic Language and Computation |
| Organisations |
|
| Document type | Working paper |
| Permalink to this page | |