Emil Căzănescu and Grigore Ros¸u. Weak inclusion systems (1997)

by Virgil
Venue:Mathematical Structures in Computer Science