Cited By
View all- Bland RCowie JKane TRattray CWilson I(2005)Using a prolog engine to integrate multiple knowledge sources: the KCM/Help-desk projectThe Next Generation of Information Systems: From Data to Knowledge10.1007/3-540-55616-8_45(134-147)Online publication date: 30-May-2005
- Letz RStenz G(2001)Model elimination and connection tableau proceduresHandbook of automated reasoning10.5555/778522.778537(2015-2112)Online publication date: 1-Jan-2001
- De Gloria AFaraboschi P(1992)Instruction-level parallelism in PrologACM SIGARCH Computer Architecture News10.1145/146628.13973020:2(224-233)Online publication date: 1-Apr-1992
- Show More Cited By