Logic-Based Electronic Institutions (0)

by W W Vasconcelos
Venue:In Proc. of DALT’03, volume 2990 of LNCS