Annamaria Bria
Home | Research | Publications | Software | Teaching |
♠ nfn2dlp
A compliler for Normal Form Nested programs.
♠ nfnsolve
Compute answer sets for NFN programs.