Unification Modulo Builtins.

Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu

Browse the full WoLLIC paper archive.