Emil Weydert System JLZ - rational default reasoning by minimal ranking constructions. 273-308 2003 1 J. Applied Logic 3-4 http://dx.doi.org/10.1016/S1570-8683(03)00016-8 db/journals/japll/japll1.html#Weydert03