Composition of Default Specifications (2001)

by S Guerra
Venue:J. Log. Comput