Artificial Intelligence and Symbolic Computation: ...
J. A. Campbell
Calmet, J.; Kullmann, Peter.: A Data Structure for ... Arb., Karlsruhe, 1995. Lu, J.; Murray, Neil V.; Rosenthal, ... Lu, J.; Nerode, Anil; Remmel, Jeffrey; Subrahmanian, V. S.: Towards a Theory of Hybrid Knowledge Bases. Technical Report ...