Gregory R. Wheeler: A resource bounded default logic. NMR 2004: 416-422