The Synthesis Company of San Francisco Mountain Logo
Automatic generation of linear-time algorithms from predicate calculus descriptions of problems on recursively constructed graph families | doi.page