Michael J. Maher Andrew Rock Grigoris Antoniou David Billington Tristan Miller Efficient Defeasible Reasoning Systems. 483-501 2001 10 International Journal on Artificial Intelligence Tools 4 db/journals/ijait/ijait10.html#MaherRABM01