User blog comment:B1mb0w/Strong D Function/@comment-5529393-20150805054856/@comment-10262436-20150805101316

Hi. Most of your questions have been addressed. Proof of L1 on "Strong D Function Calculations" blog. Leading and Trailing rules are given on "Deeply Nested Ackermann" blog. There is another rule NL on "Strong D Function Calculations" blog that evaluates D(l,m,n) for any values. Hope you find these useful. Cheers