Michael Leuschel
Heinrich-Heine-Universität Düsseldorf
Institut für Informatik
Category: LP Systems
ASPeRiX: a First Order Rule-Based ASP Solver
Claire Lefevre and Pascal Nicolas
LERIA, University of Angers, France
Communicated by: Enrico Pontelli
XSB 3.2
Terrance Swift
CENTRIA, Universidade Nova de Lisboa, Portugal