Haridi, Seif & Sahlin, Dan "Evaluation of Logic Programs Based On Natural Deduction" CSALAB TTDS/KTH Stockholm June 1983
(1983)
Languages mentioned
LPL0
{1981}