_id,doi,title
5383,10.15479/AT:IST-2011-0005,On an efficient decision procedure for imperative tree data structures