View of Practical Methods for Proving Termination of General Logic Programs

Return to Article Details Practical Methods for Proving Termination of General Logic Programs Download Download PDF