![](/img/cover-not-exists.png)
−-match: An inference rule for incrementally elaborating set instantiations
Sidney C. Bailin, Dave Barker-PlummerVolume:
11
Year:
1993
Language:
english
Pages:
38
DOI:
10.1007/bf00881874
File:
PDF, 2.56 MB
english, 1993