A Study of Provability in Defeasible Logic.

Published in: Australian Joint Conference on Artificial Intelligence (1998)