Deciding Equivalence of Separated Non-nested Attribute Systems in Polynomial Time.

Helmut Seidl, Raphaela Palenta, Sebastian Maneth

Browse the full FOSSACS paper archive.