Cited By
View all- Wrightson G(1999)A Bibliography on Analytic Tableaux Theorem ProvingHandbook of Tableau Methods10.1007/978-94-017-1754-0_11(631-655)Online publication date: 1999
- Johnson C(1998)Top-down query processing in indefinite stratified databasesData & Knowledge Engineering10.1016/S0169-023X(97)00026-826:1(1-36)Online publication date: 1-May-1998