A Formisano

Latest

• Decidability Results for Sets with Atoms
• On T Logic Programming