Searching for "Extending Decidable Cases for Rules with Existential Variables." – sorted by Relevance.
-
INRIA Sophia-Antipolis
- Extending Decidable Cases for Rules with Existential Variables Jean-François Baget INRIA Sophia
- Add To MetaCart

