Revised Dependencydirected Backtracking for Default Reasoning.

Charles J. Petrie

Browse the full AAAI paper archive.