Basic Superposition is Complete

• Authors:

• Robert Nieuwenhuis;Albert Rubio

• Affiliations:

• -;-

• Venue:
• ESOP '92 Proceedings of the 4th European Symposium on Programming
• Year:
• 1992