The following publications are possibly variants of this publication:
- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest AutomataParosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar. ATVA 2013: 224-239 [doi]
- Forest Automata for Verification of Heap ManipulationPeter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar. cav 2011: 424-440 [doi]
- Forest automata for verification of heap manipulationPeter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar. fmsd, 41(1):83-106, 2012. [doi]