Skip to content

Logic Programming with Pseudo-Resolution.

David M. W. Powers

VenueBLPAR
Year1991
ProceedingsRCLP

Browse the full LPAR paper archive.