Automatic generation of linear-time algorithms from predicate calculus descriptions of problems on recursively constructed graph families 论文
1992Algorithmica引用 266
Formal Methods in VerificationLogic, programming, and type systemsLogic, Reasoning, and Knowledge