A Complete Axiomatization of a Theory with Feature and Arity Constraints (1994)

Cached

Download Links

by Rolf Backofen
Citations:24 - 1 self