A System for Computing Constrained Default Logic Extensions.

Grigoris Antoniou, Allen P. Courtney, Jrg Ernst, Mary-Anne Williams

Browse the full JELIA paper archive.