A tutorial on proof theoretic foundations of logic programming (0)

by P BRUSCOLI, A GUGLIELMI
Venue:of Lecture Notes in Computer Science