Number of items: 1.
Buccafurri, F. and Caminiti, G. (2004) Implementing joint fixpoint semantics on top of DLV. Proc. of Convegno Italiano di Logica Computazionale (CILC 2004).
This list was generated on Mon Sep 10 16:41:26 BST 2007.