ETHERINGTON DAVID W

Efficient nonmonotonic reasoning apparatus and methods