First-Order Default Logic Revisited

Open in new window