DMCA

A Feature Logic with Subsorts (1992)

Cached

Download Links

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