Skip to content

Logics for Logic Programming: A Tutorial.

Dale Miller

VenueBICLP
Year1991
ProceedingsICLP

Browse the full ICLP paper archive.