DLPDA (Explicit)

LIA$$ES (Explicit)