Projection for Bchi Tree Automata with Constraints Between Siblings.

Patrick Landwehr, Christof Lding

Browse the full DLT paper archive.