A Typed Unification of Functional and Logic Programming Based on Many-Valued Functions.

Thomas Wilmes

Browse the full ECAI paper archive.