Metalogical control for logic programs

• Authors:

• Thomas Vasak;John Potter

• Affiliations:

• The Univ. of New South Wales, Kensington, Australia;New South Wales Institute of Technology, Broadway, Australia

• Venue:
• Journal of Logic Programming
• Year:
• 1985