Nicola Leone Giuseppe Rossi Well-Founded Semantics and Stratification for Ordered Logic Programs. 91-121 1993 12 New Generation Comput. 1 db/journals/ngc/ngc12.html#LeoneR93