Towards a Normal Form for Mercury Programs.

Franois Degrave, Wim Vanhoof

Browse the full LOPSTR paper archive.