Exten: A System for Computing Default Logic Extensions.

Allen P. Courtney, Grigoris Antoniou, Norman Y. Foo

Browse the full PRICAI paper archive.