Extended unification algorithms for the integration of functional programming into logic programming
Mehmet Dincbas, Pascal Van HentenryckVolume:
4
Year:
1987
Language:
english
Pages:
29
DOI:
10.1016/0743-1066(87)90002-1
File:
PDF, 1.85 MB
english, 1987