An Algorithmic Description of ACS2 (0)

by Martin V Butz
Venue:In Lanzi et al. [183