I'd use them, cover thickly with some type of mulch. Rake it all off
come spring and then till. Use the leftover mulch to mulch the garden.

Since you are going to dig a pond, use the dirt on the garden spot too.

Good Luck!

John!



Ook wrote:
I have tons of cardboard boxes, having just moved - maybe using cardboard to
kill it is my best bet? And then use a good gas tiller to chop up the
remains?