Verifying Tree-Manipulating Programs via CHCs.

Marco Faella, Gennaro Parlato

Browse the full CAV paper archive.