Parameterized horn clause specifications: proof theory and correctness

• Authors:

• M. Navarro;F. Orejas

• Affiliations:

• -;-

• Venue:
• The International Joint Conference on theory and practice of software development on TAPSOFT '87
• Year:
• 1987