Preserving strong equivalence while forgetting
- Citation:
- Knorr, Matthias, and José Julio Alferes. "Preserving strong equivalence while forgetting." Logics in Artificial Intelligence - 14th European Conference, JELIA 2014. Vol. 8761. Springer Verlag, 2014. 412-425.
Abstract:
n/a
Notes:
n/a