A feature logic with subsorts (1992)

by G Smolka
Venue:IWBS, IBM Deutschland