Computing Default Logic Extensions: An Implementation.

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

Browse the full AAAI paper archive.