Citation: Pe. Dunne et Tjm. Bench-capon, A sharp threshold for the phase transition of a restricted Satisfiability problem for Horn clauses, J LOGIC ALG, 47(1), 2001, pp. 1-14
Citation: Tjm. Bench-capon, The role of ontologies in the verification and validation of knowledge-based systems, INT J INTEL, 16(3), 2001, pp. 377-390