M. De Bortoli

Latest

• Towards distributed computation of answer sets