By I. Castiñeiras, J. Correas, S. Estévez-Martín, and F. Sáenz-Pérez (U.C. Madrid)
Category: LP Systems
The ProB Animator and Model Checker
Michael Leuschel
Heinrich-Heine-Universität Düsseldorf
Institut für Informatik
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