A Feature Logic with Subsorts (1992)

Cached

Download Links

by Gert Smolka
Venue:LILOG Report 33, IWBS, IBM Deutschland
Citations:72 - 4 self