Adrián Riesco, Juan Rodríguez-Hortalá. A Natural Implementation of Plural Semantics in Maude. Electronic Notes in Theoretical Computer Science, 253(7):165-175, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.