Shmueli, O.
Jump to...
[KSL]
[SMI]
[Reports by Author]
[Reports by KSL Number]
[Reports by Year]
- KSL-93-15
- Levy, A. Y.; Mumick, I. S.; Sagiv, Y.; & Shmueli, O. Equivalence, Query-reachability and Satisfiability in Datalog Extensions. 1993.
Jump to...
[KSL]
[SMI]
[Reports by Author]
[Reports by KSL Number]
[Reports by Year]