Principles of Logic and Logic Programming

• Authors:

• Anil Nerode;G. Metakides

• Affiliations:

• -;-

• Venue:
• Principles of Logic and Logic Programming
• Year:
• 1996