Skip to content

An Algorithm for Interpreting Prolog Programs.

Maarten H. van Emden

VenueBICLP
Year1982
ProceedingsICLP

Browse the full ICLP paper archive.