A Generic Deskolemization Strategy.

Johann Rosain, Richard Bonichon, Julie Cailler, Olivier Hermant

Browse the full LPAR paper archive.