XSB as an efficient deductive database engine

Konstantinos Sagonas, Terrance Swift, David S. Warren

Available in: PDF

638 Downloads