Zhangand Rounds. Reasoning with Power Defaults. no. 1-3, Elsevier BV, 2004, doi:10.1016/j.tcs.2004.04.008.