DWAM

MaRDI QIDQ18712swMATHFDO

Official website http://rd.springer.com/article/10.1007%2FBF01530824?LI=true

Cited in

(5)

• Duality for goal-driven query processing in disjunctive deductive databases
• Ordered semantic hyper tableaux
• DCTP
• SATCHMOREBID
• SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy

This page was built for software: DWAM