XSB: A System for Effciently Computing WFS

Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren, Juliana Freire. XSB: A System for Effciently Computing WFS. In Jürgen Dix, Ulrich Furbach, Anil Nerode, editors, Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR 97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings. Volume 1265 of Lecture Notes in Computer Science, pages 431-441, Springer, 1997.

Abstract

Abstract is missing.