Skip to content

Finite Computation Principle: An Alternative Method of Adapting Resolution for Logic Prosramming.

Ed Babb

VenueBICLP
Year1983
ProceedingsLogic Programming Workshop

Browse the full ICLP paper archive.