XSB: A System for Effciently Computing WFS.

Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire

Browse the full LPNMR paper archive.