![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Logic Programming Volume 2916 || A Distinct-Head Folding Rule
Palamidessi, CatusciaVolume:
10.1007/b9
Year:
2003
Language:
english
DOI:
10.1007/978-3-540-24599-5_44
File:
PDF, 66 KB
english, 2003