Hyperequivalence of logic programs with respect to supported models
- Mirostaw Truszczyński
- , Stefan Woltran
Producción científica: Conference contribution › revisión exhaustiva
6
Citas
(Scopus)