Horn clause programs with polymorphic types: semantics and resolution
Michael HanusVolume:
89
Year:
1991
Language:
english
Pages:
44
DOI:
10.1016/0304-3975(90)90107-s
File:
PDF, 3.11 MB
english, 1991