Giorgio Levi

Advances in logic programming theory

Advances in Logic Programming Theory (International Schools for Computer Scientists)

Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)

TAPSOFT '87 Vol. 2