Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness
Authors:
Valentinas Kriauciukas;Michal Walicki
Affiliations:
-;-
Venue:
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification