DSpace - NTUA (National Technical University of Athens) · 2003 · 20 citations · 34 references
Open access
ComputingComputer ScienceFormal MethodsKnowledge RepresentationProgramming LanguagesDatabase DesignPredicate LogicStructured Query Language
this document |intended tobe the user manual| reects the current status (Version 2.2) of our system. While we have takengreat eort to create a robust and ecient system, we would like to emphasize that XSB is also aresearch system and is to some degree experimental. When the research features of XSB | tabling,HiLog, and Indexing Techniques | are discussed in
34
Depth-First Search and Linear Graph Algorithms
Robert E. Tarjan · SIAM Journal on Computing · 1972 · 6K citations
Logical foundations of object-oriented and frame-based languages
Michael Kifer, Georg Lausen, James C. Wu · Journal of the ACM · 1995 · 1.5K citations · Full text
Computing, Computer Science, Logic +14
Leon Sterling, Ehud Shapiro, Randy Garrett · IEEE Expert · 1987 · 1.1K citations