Beatrice Amrhein Birkhoff's HSP-Theorem for Cumulative Logic Programs. 24-36 1993 conf/elp/1993 ELP db/conf/elp/elp93.html#Amrhein93 http://dx.doi.org/10.1007/3-540-58025-5_48