XSB: A System for Efficiently Computing Well-Founded Semantics (1997)

by Prasad Rao , Konstantinos Sagonas , Terrance Swift , David Warren , Juliana Freire
Venue:In Proceedings of the 4th International Conference on Logic Programming and NonMonotonic Reasoning (LPNMR’97
Citations:44 - 4 self